Changeset 12413

Timestamp:

2006-08-08T09:29:51+12:00 (18 years ago)

Author:

shaoqun

Message:

added code to use customized radio icons to make them noticable on windows

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/LevelManager.java (modified) (6 diffs)

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

@@ -10 +10 @@
 import org.greenstone.gatherer.Dictionary;
 import org.greenstone.gatherer.Gatherer;
+import org.greenstone.gatherer.util.JarTools;
 import org.w3c.dom.*;
 public class LevelManager 
@@ -162 +163 @@
         document_default_radio.setOpaque(false);
         document_default_radio.setActionCommand(CollectionConfiguration.DOCUMENT_STR);
+        document_default_radio.setIcon(JarTools.getImage("radio_unselected.gif"));
+        document_default_radio.setSelectedIcon(JarTools.getImage("radio_selected.gif"));
 
         section_checkbox = new JCheckBox();
         section_checkbox.setText(Dictionary.get("CDM.LevelManager.Section"));
         section_default_radio = new JRadioButton();
-        //section_default_radio.setOpaque(true);
+        section_default_radio.setOpaque(true);
         section_default_radio.setBackground(Configuration.getColor("coloring.collection_tree_background", false));
         section_default_radio.setOpaque(false);
+        section_default_radio.setIcon(JarTools.getImage("radio_unselected.gif"));
+        section_default_radio.setSelectedIcon(JarTools.getImage("radio_selected.gif"));
 
         section_default_radio.setActionCommand(CollectionConfiguration.SECTION_STR);
@@ -174 +179 @@
         default_group.add(document_default_radio);
         default_group.add(section_default_radio);
-        
+
+     
+
         if (levels_model.getSize()==0) {
         // no levels yet, set document
@@ -228 +235 @@
         default_panel.add(section_default_radio);
 
+        
         CheckBoxListener cbl = new CheckBoxListener();
         document_checkbox.addActionListener(cbl);
@@ -290 +298 @@
 
     private void validateControls() {
+            
         boolean document_enabled = document_checkbox.isSelected();
         document_default_radio.setEnabled(document_enabled);
@@ -295 +304 @@
         boolean section_enabled = section_checkbox.isSelected();
         section_default_radio.setEnabled(section_enabled);
-        
+          
+
+            
+
         // have we disabled our default??
         if (!document_enabled && document_default_radio.isSelected()) {
         section_default_radio.setSelected(true);
         setDefault(CollectionConfiguration.SECTION_STR);
+               
         } else if (!section_enabled && section_default_radio.isSelected()) {
         document_default_radio.setSelected(true);
         setDefault(CollectionConfiguration.DOCUMENT_STR);
         }
-    }
+
+           
+    }
+
     }