Changeset 7661

Timestamp:

2004-06-29T14:59:55+12:00 (20 years ago)

Author:

kjdon

Message:

pass mode changed call to mirror pane

File:

• trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/gui/GUIManager.java

@@ -597 +597 @@
         enrich_pane.modeChanged(mode);
     }
+    if (mirror_pane != null) {
+        mirror_pane.modeChanged(mode);
+    }
     }