Changeset 21989

Show
Ignore:
Timestamp:
29.04.2010 13:56:19 (9 years ago)
Author:
sjm84
Message:

Removed extension_list, it was not necessary to change this to extensionList as had been predicted

Location:
main/trunk/greenstone3/src/java/org/greenstone/admin/guiext
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone3/src/java/org/greenstone/admin/guiext/ExtPane.java

    r21919 r21989  
    4949    protected static JPanel extensionContent_pane =  null; 
    5050 
    51     /** The List showing all the log files concerned. */ 
    52     //protected JList extension_list=null; 
    53  
    5451    /** The label at the top of the logList_pane. */ 
    5552    protected JLabel extensionList_label =  null; 
     
    7370    protected JPanel button_pane = null; 
    7471     
    75     /** Buttons */ 
    76     //protected JButton download_button = null; 
    77     //protected static JButton pre_configure_button = null; 
    78     //protected JButton install_button = null; 
    79     //protected JButton post_configure_button = null; 
    80     //protected JButton uninstall_button = null; 
    81     //protected JButton switch_button = null; 
    82  
    8372    protected static JPanel control_pane = null; 
    8473 
     
    414403        String name = nameList.item(0).getChildNodes().item(0).getNodeValue(); 
    415404         
    416         NodeList uiList = projectNode.getElementsByTagName(ExtXMLHelper.BASE_EXT); 
    417         String admin_ui = uiList.item(0).getChildNodes().item(0).getNodeValue(); 
    418  
    419405        //Maybe recode this? //xxxxx 
    420406        try{ 
  • main/trunk/greenstone3/src/java/org/greenstone/admin/guiext/ExtXMLHelper.java

    r21919 r21989  
    77public class ExtXMLHelper 
    88{ 
    9     static public final String EXTENSION_LIST = "extension_list"; 
    109    static public final String EXTENSION = "extension"; 
    1110    static public final String GROUP = "group";