Changeset 5101

Timestamp:

2003-08-06T16:30:01+12:00 (21 years ago)

Author:

mdewsnip

Message:

Muwhahahahaaa... the crappy JToggleButtons are defeated by the glorious JRadioButtons!

File:

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

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

@@ -180 +180 @@
     private JTextField match_field;
     private JTextField name_field;
-    private JToggleButton exclude_button;
-    private JToggleButton include_button;
+    private JRadioButton exclude_button;
+    private JRadioButton include_button;
 
     /** Constructor */
@@ -210 +210 @@
         JPanel button_pane = new JPanel();
         JPanel button_pane_1 = new JPanel();
-        exclude_button = new JToggleButton(get("Exclude"));
+        include_button = new JRadioButton(get("Include"));
+        include_button.setBackground(Gatherer.config.getColor("coloring.collection_tree_background", false));
+        include_button.setMnemonic(KeyEvent.VK_I);
+        include_button.setOpaque(false);
+        exclude_button = new JRadioButton(get("Exclude"));
+        exclude_button.setBackground(Gatherer.config.getColor("coloring.collection_tree_background", false));
         exclude_button.setMnemonic(KeyEvent.VK_X);
+        exclude_button.setOpaque(false);
         flags_field = new NonWhitespaceField();
         JLabel flags_label = new JLabel(get("Flags"));
-        include_button = new JToggleButton(get("Include"));
-        include_button.setMnemonic(KeyEvent.VK_I);
         JLabel inclusive_label = new JLabel(get("Inclusive"));
         JPanel inclusive_pane = new JPanel();