Changeset 5324

Timestamp:

2003-08-28T12:44:38+12:00 (21 years ago)

Author:

jmt12

Message:

Removed the tree refresh for mirror pane as it no longer has a tree

File:

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

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

@@ -426 +426 @@
         // General preferences
         Gatherer.config.set("general.show_file_size", Configuration.COLLECTION_SPECIFIC, show_file_size_checkbox.isSelected());
-        if(Gatherer.g_man.mirror_pane != null) {
-        Gatherer.g_man.mirror_pane.refreshTrees();
-        }
         Gatherer.g_man.collection_pane.refreshTrees();
         Gatherer.g_man.metaedit_pane.refreshTrees();