Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'bundles/org.eclipse.compare/plugins/org.eclipse.compare/compare/org/eclipse/compare/CompareEditorInput.java')
-rw-r--r--bundles/org.eclipse.compare/plugins/org.eclipse.compare/compare/org/eclipse/compare/CompareEditorInput.java27
1 files changed, 27 insertions, 0 deletions
diff --git a/bundles/org.eclipse.compare/plugins/org.eclipse.compare/compare/org/eclipse/compare/CompareEditorInput.java b/bundles/org.eclipse.compare/plugins/org.eclipse.compare/compare/org/eclipse/compare/CompareEditorInput.java
index dad21a2fc..fdbe766f7 100644
--- a/bundles/org.eclipse.compare/plugins/org.eclipse.compare/compare/org/eclipse/compare/CompareEditorInput.java
+++ b/bundles/org.eclipse.compare/plugins/org.eclipse.compare/compare/org/eclipse/compare/CompareEditorInput.java
@@ -413,6 +413,15 @@ public abstract class CompareEditorInput implements IEditorInput, IPropertyChang
}
}
);
+ fStructureInputPane.addSelectionChangedListener(
+ new ISelectionChangedListener() {
+ public void selectionChanged(SelectionChangedEvent e) {
+ ISelection s= e.getSelection();
+ if (s == null || s.isEmpty())
+ feed1(s);
+ }
+ }
+ );
fStructureInputPane.addDoubleClickListener(
new IDoubleClickListener() {
public void doubleClick(DoubleClickEvent event) {
@@ -429,6 +438,15 @@ public abstract class CompareEditorInput implements IEditorInput, IPropertyChang
}
}
);
+ fStructurePane1.addSelectionChangedListener(
+ new ISelectionChangedListener() {
+ public void selectionChanged(SelectionChangedEvent e) {
+ ISelection s= e.getSelection();
+ if (s == null || s.isEmpty())
+ feed2(s);
+ }
+ }
+ );
// setup the wiring for third pane
fStructurePane2.addOpenListener(
@@ -438,6 +456,15 @@ public abstract class CompareEditorInput implements IEditorInput, IPropertyChang
}
}
);
+ fStructurePane2.addSelectionChangedListener(
+ new ISelectionChangedListener() {
+ public void selectionChanged(SelectionChangedEvent e) {
+ ISelection s= e.getSelection();
+ if (s == null || s.isEmpty())
+ feed3(s);
+ }
+ }
+ );
// now deal with activation/deactivation
Listener activationListener= new Listener() {

Back to the top