Changeset 18113

Show
Ignore:
Timestamp:
05.12.2008 16:15:30 (11 years ago)
Author:
cc108
Message:

add a new extension pane to admin tool

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/admin/GAIManager.java

    r10953 r18113  
    3434import org.greenstone.admin.gui.LogPane; 
    3535import org.greenstone.admin.gui.ConfPane; 
     36import org.greenstone.admin.gui.ExtPane; 
    3637 
    3738//import java AWT classes 
     
    5556    public LogPane log_pane = null; 
    5657    // Not designed yet 
    57     public JPanel ext_pane = null; 
     58    public ExtPane ext_pane = null; 
    5859    // Not designed yet 
    5960    public JPanel monitor_pane = null; 
     
    125126        //set up the ext Pane 
    126127        if (Configuration.get("admin.ext")){ 
    127         ext_pane = new JPanel(); 
    128         //ext_pane.display(); 
    129         tab_pane.addTab("Exts", EXT_ICON, ext_pane); 
     128        ext_pane = new ExtPane(); 
     129            ext_pane.display(); 
     130        tab_pane.addTab("Extensions", EXT_ICON, ext_pane); 
    130131        tab_pane.setEnabledAt(tab_pane.indexOfComponent(ext_pane),Configuration.get("admin.ext")); 
    131132        }