Allow configuration of the model provider's cache expiration timeout45/186645/13.3.163.3.16RC2
commitd10379d7a85365b2f3b0602d8d916d64f89abf59
authorlgoubet <laurent.goubet@obeo.fr>
Tue, 19 Oct 2021 07:44:52 +0000 (19 09:44 +0200)
committerlgoubet <laurent.goubet@obeo.fr>
Tue, 19 Oct 2021 07:44:52 +0000 (19 09:44 +0200)
tree1d508806422adbd5a70f471789be06bfbebb34d3
parent9aae2d12033e00625e93311767741491d4602237
Allow configuration of the model provider's cache expiration timeout

Change-Id: I7fe93911d8cad350e5f5b6fbe53856612bc5b56e
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/logical/EMFModelProvider.java
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/preferences/EMFCompareUIPreferences.java
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/preferences/EMFCompareUIPreferencesInitializer.java