- Timestamp:
- 2006-01-13T14:28:56+13:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/SubcollectionManager.java
r10345 r11031 37 37 import org.greenstone.gatherer.Dictionary; 38 38 import org.greenstone.gatherer.Gatherer; 39 import org.greenstone.gatherer.gui.DesignPaneHeader; 39 40 import org.greenstone.gatherer.gui.GLIButton; 40 41 import org.greenstone.gatherer.gui.NonWhitespaceField; … … 167 168 private JPanel border_pane; 168 169 private JTabbedPane tabbed_pane; 169 private JTextArea instructions_area;170 170 private JTextField flags_field; 171 171 private JTextField match_field; … … 177 177 public SubcollectionControl() { 178 178 // Create 179 JPanel header_pane = new JPanel(); 180 instructions_area = new JTextArea(); 181 instructions_area.setEditable(false); 182 instructions_area.setLineWrap(true); 183 instructions_area.setRows(6); 184 instructions_area.setWrapStyleWord(true); 185 Dictionary.registerText(instructions_area, "CDM.SubcollectionManager.Instructions"); 179 JPanel header_pane = new DesignPaneHeader("CDM.GUI.Subcollections", "partitionindexes"); 186 180 187 181 border_pane = new JPanel(); … … 288 282 name_field.getDocument().addDocumentListener(cl); 289 283 subcollection_list.addListSelectionListener(new SubCollectionListListener()); 290 291 // Layout292 instructions_area.setBorder(BorderFactory.createEmptyBorder(2,5,2,5));293 294 header_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));295 header_pane.setLayout(new BorderLayout());296 header_pane.add(title, BorderLayout.NORTH);297 header_pane.add(new JScrollPane(instructions_area), BorderLayout.CENTER);298 284 299 285 inclusive_pane.setLayout(new GridLayout());
Note:
See TracChangeset
for help on using the changeset viewer.