- Timestamp:
- 2006-01-16T12:39:17+13:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java
r11031 r11038 764 764 765 765 // Layout 766 plugin_list_label.setBorder(BorderFactory.createEmptyBorder(0,2,0,2));767 768 766 movement_pane.setBorder(BorderFactory.createEmptyBorder(0,2,0,0)); 769 767 movement_pane.setLayout(new GridLayout(4,1)); … … 792 790 // Scope these mad bordering skillz. 793 791 JPanel temp = new JPanel(new BorderLayout()); 794 temp.setBorder795 (BorderFactory.createCompoundBorder796 (BorderFactory.createEmptyBorder(5,0,5,0),797 BorderFactory.createCompoundBorder798 (BorderFactory.createTitledBorder(Dictionary.get("CDM.PlugInManager.Controls")),799 BorderFactory.createEmptyBorder(2,2,2,2))));800 801 792 temp.add(plugin_pane, BorderLayout.NORTH); 802 793 temp.add(button_pane, BorderLayout.SOUTH); 803 794 795 central_pane.setBorder(BorderFactory.createEmptyBorder(5,0,0,0)); 804 796 central_pane.setLayout(new BorderLayout()); 805 797 central_pane.add(plugin_list_pane, BorderLayout.CENTER); 806 798 central_pane.add(temp, BorderLayout.SOUTH); 807 799 808 setBorder(BorderFactory.createEmptyBorder( 5,5,5,5));800 setBorder(BorderFactory.createEmptyBorder(0,5,0,0)); 809 801 setLayout(new BorderLayout()); 810 802 add(header_pane, BorderLayout.NORTH);
Note:
See TracChangeset
for help on using the changeset viewer.