- 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/TranslationView.java
r10556 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 … … 187 188 fragment_table_model = new FragmentTableModel("", new TreeSet(), new ArrayList()); 188 189 // Creation 189 JPanel header_panel = new JPanel(); 190 JLabel title_label = new JLabel(); 191 title_label.setHorizontalAlignment(JLabel.CENTER); 192 Dictionary.registerText(title_label, "CDM.TranslationManager.Title"); 193 194 JTextArea instruction_area = new JTextArea(); 195 instruction_area.setEditable(false); 196 instruction_area.setLineWrap(true); 197 instruction_area.setRows(6); 198 instruction_area.setWrapStyleWord(true); 199 Dictionary.registerText(instruction_area, "CDM.TranslationManager.Instructions"); 190 JPanel header_panel = new DesignPaneHeader("CDM.GUI.Translation", "translatetext"); 200 191 201 192 JPanel center_panel = new JPanel(); … … 282 273 283 274 // Layout 284 header_panel.setBorder(BorderFactory.createEmptyBorder(0,0,5,0));285 header_panel.setLayout(new BorderLayout());286 header_panel.add(title_label, BorderLayout.NORTH);287 header_panel.add(new JScrollPane(instruction_area), BorderLayout.CENTER);288 275 289 276 component_selection_panel.setLayout(new BorderLayout());
Note:
See TracChangeset
for help on using the changeset viewer.