- 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/SuperCollectionManager.java
r10556 r11031 41 41 import org.greenstone.gatherer.util.StaticStrings; 42 42 import org.greenstone.gatherer.util.Utility; 43 import org.greenstone.gatherer.gui.DesignPaneHeader; 43 44 import org.w3c.dom.*; 44 45 … … 123 124 124 125 // Creation 125 JPanel header_panel = new JPanel(); 126 127 JLabel title_label = new JLabel(); 128 title_label.setHorizontalAlignment(JLabel.CENTER); 129 title_label.setOpaque(true); 130 Dictionary.registerText(title_label, "CDM.SuperCollectionManager.Title"); 131 132 JTextArea instructions = new JTextArea(); 133 instructions.setBackground(Configuration.getColor("coloring.collection_tree_background", false)); 134 instructions.setCaretPosition(0); 135 instructions.setEditable(false); 136 instructions.setLineWrap(true); 137 instructions.setRows(6); 138 instructions.setWrapStyleWord(true); 139 Dictionary.registerText(instructions, "CDM.SuperCollectionManager.Instructions"); 126 JPanel header_panel = new DesignPaneHeader("CDM.GUI.SuperCollection", "xcollectionsearching"); 140 127 141 128 collection_checklist = new CheckList(false); 142 129 buildModel(); 143 130 collection_checklist.setListData(collection_checklist_model); 144 145 // Layout146 header_panel.setBorder(BorderFactory.createEmptyBorder(0,0,5,0));147 header_panel.setLayout(new BorderLayout());148 header_panel.add(title_label, BorderLayout.NORTH);149 header_panel.add(new JScrollPane(instructions), BorderLayout.CENTER);150 131 151 132 setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
Note:
See TracChangeset
for help on using the changeset viewer.