Changeset 12413
- Timestamp:
- 2006-08-08T09:29:51+12:00 (18 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/cdm/LevelManager.java
r12163 r12413 10 10 import org.greenstone.gatherer.Dictionary; 11 11 import org.greenstone.gatherer.Gatherer; 12 import org.greenstone.gatherer.util.JarTools; 12 13 import org.w3c.dom.*; 13 14 public class LevelManager … … 162 163 document_default_radio.setOpaque(false); 163 164 document_default_radio.setActionCommand(CollectionConfiguration.DOCUMENT_STR); 165 document_default_radio.setIcon(JarTools.getImage("radio_unselected.gif")); 166 document_default_radio.setSelectedIcon(JarTools.getImage("radio_selected.gif")); 164 167 165 168 section_checkbox = new JCheckBox(); 166 169 section_checkbox.setText(Dictionary.get("CDM.LevelManager.Section")); 167 170 section_default_radio = new JRadioButton(); 168 //section_default_radio.setOpaque(true);171 section_default_radio.setOpaque(true); 169 172 section_default_radio.setBackground(Configuration.getColor("coloring.collection_tree_background", false)); 170 173 section_default_radio.setOpaque(false); 174 section_default_radio.setIcon(JarTools.getImage("radio_unselected.gif")); 175 section_default_radio.setSelectedIcon(JarTools.getImage("radio_selected.gif")); 171 176 172 177 section_default_radio.setActionCommand(CollectionConfiguration.SECTION_STR); … … 174 179 default_group.add(document_default_radio); 175 180 default_group.add(section_default_radio); 176 181 182 183 177 184 if (levels_model.getSize()==0) { 178 185 // no levels yet, set document … … 228 235 default_panel.add(section_default_radio); 229 236 237 230 238 CheckBoxListener cbl = new CheckBoxListener(); 231 239 document_checkbox.addActionListener(cbl); … … 290 298 291 299 private void validateControls() { 300 292 301 boolean document_enabled = document_checkbox.isSelected(); 293 302 document_default_radio.setEnabled(document_enabled); … … 295 304 boolean section_enabled = section_checkbox.isSelected(); 296 305 section_default_radio.setEnabled(section_enabled); 297 306 307 308 309 298 310 // have we disabled our default?? 299 311 if (!document_enabled && document_default_radio.isSelected()) { 300 312 section_default_radio.setSelected(true); 301 313 setDefault(CollectionConfiguration.SECTION_STR); 314 302 315 } else if (!section_enabled && section_default_radio.isSelected()) { 303 316 document_default_radio.setSelected(true); 304 317 setDefault(CollectionConfiguration.DOCUMENT_STR); 305 318 } 306 } 319 320 321 } 322 307 323 } 308 324
Note:
See TracChangeset
for help on using the changeset viewer.