ADD: preference value for search window
commita801af24b722a6bc078d6fc235b14353097ea4a1
authorcbrun <cbrun>
Tue, 19 Jun 2007 16:21:55 +0000 (19 16:21 +0000)
committercbrun <cbrun>
Tue, 19 Jun 2007 16:21:55 +0000 (19 16:21 +0000)
tree5cb04843973e79b24a30352d2d7fc5d99df867e6
parente5552422e9d1941c0c7580c18a457fd0094d0071
ADD: preference value for search window
plugins/org.eclipse.emf.compare.ui/icons/full/prefshelp.gif [new file with mode: 0644]
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/EMFCompareUIPlugin.java
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/ModelCompareInput.java
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/contentmergeviewer/ModelContentMergeViewer.java
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/preferences/EMFComparePreferencesInitializer.java
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/preferences/EMFComparePreferencesPage.java
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/util/EMFCompareConstants.java
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/viewerpart/ModelContentMergePropertyPart.java
plugins/org.eclipse.emf.compare.ui/src/org/eclipse/emf/compare/ui/viewerpart/ModelContentMergeViewerPart.java