[514767] Provide preferences to configure comparison editor behavior54/94454/9
commit674d7eb2c3ffae6c0d3328569d43445c95b68535
authorMartin Fleck <mfleck@eclipsesource.com>
Mon, 3 Apr 2017 16:49:21 +0000 (3 18:49 +0200)
committerLaurent Goubet <laurent.goubet@obeo.fr>
Mon, 26 Jun 2017 14:00:02 +0000 (26 10:00 -0400)
treed9d444cb5b1b99e076d7b445ba7066a545631f66
parent6bfbd1ea26a6dfc9858302907579b2e47a8bf364
[514767] Provide preferences to configure comparison editor behavior

- Add preference for enabling the auto-selection of the first change
- Add preference for enabling the auto-highlight of related changes
- Add preference for setting the default expansion level of the tree
- Move editor preference page to IDE UI (held no preferences previously)
- Consider preference settings in SMV accordingly
- Explicitly allow the creation of the NoSelectedItemViewer
- Avoid unnecessary updates when selection did not change

Bug: 514767
Change-Id: Iad7d26b3f3783e60268e8504add909151dc9cd5d
Signed-off-by: Martin Fleck <mfleck@eclipsesource.com>
13 files changed:
plugins/org.eclipse.emf.compare.ide.ui/plugin.properties
plugins/org.eclipse.emf.compare.ide.ui/plugin.xml
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/contentmergeviewer/label/NoSelectedItemCompareInput.java [new file with mode: 0644]
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/contentmergeviewer/label/NoSelectedItemViewerCreator.java [new file with mode: 0644]
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/ide_ui_messages.properties
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
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/preferences/EditorPreferencePage.java [new file with mode: 0644]
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/structuremergeviewer/DependencyData.java
plugins/org.eclipse.emf.compare.ide.ui/src/org/eclipse/emf/compare/ide/ui/internal/structuremergeviewer/EMFCompareStructureMergeViewer.java
plugins/org.eclipse.emf.compare.rcp.ui/plugin.xml
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/emfcomparercpuimessages.properties
plugins/org.eclipse.emf.compare.rcp.ui/src/org/eclipse/emf/compare/rcp/ui/internal/preferences/EditorPreferencePage.java [deleted file]