Changeset 11038 for trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

Timestamp:

2006-01-16T12:39:17+13:00 (18 years ago)

Author:

mdewsnip

Message:

Tidied up the look of the Design pane. Each Design pane screen now has consistent borders, and vertical spacing between elements has been improved.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

@@ -764 +764 @@
 
         // Layout
-        plugin_list_label.setBorder(BorderFactory.createEmptyBorder(0,2,0,2));
-
         movement_pane.setBorder(BorderFactory.createEmptyBorder(0,2,0,0));
         movement_pane.setLayout(new GridLayout(4,1));
@@ -792 +790 @@
         // Scope these mad bordering skillz.
         JPanel temp = new JPanel(new BorderLayout());
-        temp.setBorder
-        (BorderFactory.createCompoundBorder
-         (BorderFactory.createEmptyBorder(5,0,5,0),
-          BorderFactory.createCompoundBorder
-          (BorderFactory.createTitledBorder(Dictionary.get("CDM.PlugInManager.Controls")),
-           BorderFactory.createEmptyBorder(2,2,2,2))));
-
         temp.add(plugin_pane, BorderLayout.NORTH);
         temp.add(button_pane, BorderLayout.SOUTH);
 
+        central_pane.setBorder(BorderFactory.createEmptyBorder(5,0,0,0));
         central_pane.setLayout(new BorderLayout());
         central_pane.add(plugin_list_pane, BorderLayout.CENTER);
         central_pane.add(temp, BorderLayout.SOUTH);
 
-        setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
+        setBorder(BorderFactory.createEmptyBorder(0,5,0,0));
         setLayout(new BorderLayout());
         add(header_pane, BorderLayout.NORTH);