- Timestamp:
- 2009-01-05T20:18:37+13:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/cdm/IndexOptionManager.java
r17114 r18302 332 332 document_checkbox = new JCheckBox(); 333 333 document_checkbox.setText(Dictionary.get("CDM.LevelManager.Document")); 334 document_checkbox.setActionCommand(StaticStrings.DOCUMENT_STR); 334 335 document_default_radio = new JRadioButton(); 335 336 document_default_radio.setBackground(Configuration.getColor("coloring.collection_tree_background", false)); … … 341 342 section_checkbox = new JCheckBox(); 342 343 section_checkbox.setText(Dictionary.get("CDM.LevelManager.Section")); 344 section_checkbox.setActionCommand(StaticStrings.SECTION_STR); 343 345 section_default_radio = new JRadioButton(); 344 346 section_default_radio.setOpaque(true);
Note:
See TracChangeset
for help on using the changeset viewer.