Changeset 18113 for greenstone3/trunk/src/java/org/greenstone/admin/GAIManager.java

Timestamp:

2008-12-05T16:15:30+13:00 (15 years ago)

Author:

cc108

Message:

add a new extension pane to admin tool

File:

• greenstone3/trunk/src/java/org/greenstone/admin/GAIManager.java (modified) (3 diffs)

greenstone3/trunk/src/java/org/greenstone/admin/GAIManager.java

@@ -34 +34 @@
 import org.greenstone.admin.gui.LogPane;
 import org.greenstone.admin.gui.ConfPane;
+import org.greenstone.admin.gui.ExtPane;
 
 //import java AWT classes
@@ -55 +56 @@
     public LogPane log_pane = null;
     // Not designed yet
-    public JPanel ext_pane = null;
+    public ExtPane ext_pane = null;
     // Not designed yet
     public JPanel monitor_pane = null;
@@ -125 +126 @@
         //set up the ext Pane
         if (Configuration.get("admin.ext")){
-        ext_pane = new JPanel();
-        //ext_pane.display();
-        tab_pane.addTab("Exts", EXT_ICON, ext_pane);
+        ext_pane = new ExtPane();
+            ext_pane.display();
+        tab_pane.addTab("Extensions", EXT_ICON, ext_pane);
         tab_pane.setEnabledAt(tab_pane.indexOfComponent(ext_pane),Configuration.get("admin.ext"));
         }