Changeset 5211
- Timestamp:
- 2003-08-19T15:39:35+12:00 (21 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer/cdm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/IndexManager.java
r5159 r5211 632 632 instruction_pane.add(new JScrollPane(instruction_textarea), BorderLayout.CENTER); 633 633 634 movement_pane.setBorder(BorderFactory.createEmptyBorder(0, 5,0,0));635 movement_pane.setLayout(new GridLayout(2,1 ,0,5));634 movement_pane.setBorder(BorderFactory.createEmptyBorder(0,2,0,0)); 635 movement_pane.setLayout(new GridLayout(2,1)); 636 636 movement_pane.add(move_up_button); 637 637 movement_pane.add(move_down_button); … … 663 663 details_pane.add(level_pane, BorderLayout.SOUTH); 664 664 665 button_pane.setLayout(new GridLayout(1,3 ,5,0));665 button_pane.setLayout(new GridLayout(1,3)); 666 666 button_pane.add(add_button); 667 667 button_pane.add(set_default_button); -
trunk/gli/src/org/greenstone/gatherer/cdm/LanguageManager.java
r5090 r5211 324 324 language_list.addListSelectionListener(new ListListener()); 325 325 // Layout components. 326 default_panel.setBorder(BorderFactory.create RaisedBevelBorder());326 default_panel.setBorder(BorderFactory.createCompoundBorder(BorderFactory.createRaisedBevelBorder(), BorderFactory.createEmptyBorder(2,0,2,2))); 327 327 default_panel.setLayout(new BorderLayout()); 328 328 default_panel.add(default_label, BorderLayout.WEST); … … 344 344 center_panel.add(details_panel, BorderLayout.SOUTH); 345 345 346 button_panel.setLayout(new GridLayout( 2,2,5,5));346 button_panel.setLayout(new GridLayout(1,4)); 347 347 button_panel.add(add_button); 348 348 button_panel.add(remove_button);
Note:
See TracChangeset
for help on using the changeset viewer.