Changeset 7241
- Timestamp:
- 2004-04-29T10:32:13+12:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/ArgumentConfiguration.java
r7109 r7241 73 73 /** The field for entering custom arguments. */ 74 74 private JTextField custom = null; 75 /** The panel for the custom arguments */ 76 private JPanel custom_pane = null; 75 77 /** The name of the owner of the last argument control. */ 76 78 private String previous_owner = null; … … 100 102 JPanel content_pane = (JPanel) getContentPane(); 101 103 102 JPanelcustom_pane = new JPanel();104 custom_pane = new JPanel(); 103 105 String custom_str = data.getCustom(); 104 106 if (custom_str != null) { … … 137 139 custom_pane.add(custom, BorderLayout.CENTER); 138 140 139 header_pane.setBorder(BorderFactory.createEmptyBorder(0,0,5,0));140 header_pane.setLayout(new BorderLayout());141 header_pane.add(header, BorderLayout.NORTH);142 header_pane.add(custom_pane, BorderLayout.CENTER);143 144 141 button_pane.setBorder(BorderFactory.createEmptyBorder(5,0,0,0)); 145 142 button_pane.setLayout(new GridLayout(1,2)); … … 152 149 content_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5)); 153 150 content_pane.setLayout(new BorderLayout()); 154 content_pane.add(header _pane, BorderLayout.NORTH);151 content_pane.add(header, BorderLayout.NORTH); 155 152 content_pane.add(new JScrollPane(central_pane), BorderLayout.CENTER); 156 153 content_pane.add(button_pane, BorderLayout.SOUTH); … … 197 194 cancel = null; 198 195 central_pane = null; 196 custom_pane = null; 199 197 custom = null; 200 198 data = null; … … 247 245 } 248 246 } 247 // now add in the custom args bit 248 coloured = !coloured; 249 Color color = (coloured ? Gatherer.config.getColor("coloring.collection_heading_background", false) : Gatherer.config.getColor("coloring.collection_tree_background", false)); 250 addHeader(Dictionary.get("CDM.ArgumentConfiguration.Custom_Header"), color); 251 custom_pane.setBackground(color); 252 central_pane.add(custom_pane); 249 253 if(total_height > 0) { 250 254 JPanel filler = new JPanel();
Note:
See TracChangeset
for help on using the changeset viewer.