Changeset 5311
- Timestamp:
- 2003-08-27T17:03:35+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r5182 r5311 27 27 private JButton cancel_button; 28 28 private JButton ok_button; 29 private JCheckBox show_file_size_checkbox; 29 30 private JCheckBox use_proxy_checkbox; 31 private JCheckBox view_extracted_metadata_checkbox; 30 32 private JCheckBox workflow_browse; 31 33 private JCheckBox workflow_create; … … 37 39 private JCheckBox workflow_preview; 38 40 private JComboBox language_combobox; 39 private JLabel extracted_metadata_label;40 private JLabel file_size_label;41 41 private JLabel language_label; 42 42 private JLabel library_path_label; … … 45 45 private JLabel proxy_port_label; 46 46 private JLabel title_label; 47 private JRadioButton hide_extracted_metadata_radio_button;48 private JRadioButton hide_file_size_radio_button;49 private JRadioButton show_file_size_radio_button;50 private JRadioButton view_extracted_metadata_radio_button;51 47 private JTabbedPane tab_pane; 52 48 private JTextField library_path_field; … … 147 143 Gatherer.dictionary.register(proxy_port_label, null, false); 148 144 use_proxy_checkbox.addActionListener(new UseProxyListener()); 145 149 146 // Layout 150 147 library_path_pane.setLayout(new BorderLayout()); … … 220 217 221 218 // Extracted metadata 222 JPanel extracted_metadata_pane = new JPanel(); 223 extracted_metadata_label = new JLabel("NewCollectionPrompt.Extracted_Metadata"); 224 ButtonGroup extracted_metadata_button_group = new ButtonGroup(); 225 view_extracted_metadata_radio_button = new JRadioButton("NewCollectionPrompt.View_Extracted_Metadata"); 226 view_extracted_metadata_radio_button.setEnabled(Gatherer.c_man.ready()); 227 view_extracted_metadata_radio_button.setOpaque(false); 228 extracted_metadata_button_group.add(view_extracted_metadata_radio_button); 229 hide_extracted_metadata_radio_button = new JRadioButton("NewCollectionPrompt.Hide_Extracted_Metadata"); 230 hide_extracted_metadata_radio_button.setEnabled(Gatherer.c_man.ready()); 231 hide_extracted_metadata_radio_button.setOpaque(false); 232 extracted_metadata_button_group.add(hide_extracted_metadata_radio_button); 233 if(Gatherer.config.get("general.view_extracted_metadata", Configuration.COLLECTION_SPECIFIC)) { 234 view_extracted_metadata_radio_button.setSelected(true); 235 } 236 else { 237 hide_extracted_metadata_radio_button.setSelected(true); 219 view_extracted_metadata_checkbox = new JCheckBox("Preferences.General.View_Extracted_Metadata", false); 220 if (Gatherer.config.get("general.view_extracted_metadata", Configuration.COLLECTION_SPECIFIC)) { 221 view_extracted_metadata_checkbox.setSelected(true); 238 222 } 239 223 240 224 // Show file sizes 241 JPanel file_size_pane = new JPanel(); 242 file_size_label = new JLabel("Prefereces.General.File_Size"); 243 ButtonGroup file_size_button_group = new ButtonGroup(); 244 show_file_size_radio_button = new JRadioButton("Prefereces.General.Show_File_Size"); 245 show_file_size_radio_button.setEnabled(Gatherer.c_man.ready()); 246 show_file_size_radio_button.setOpaque(false); 247 file_size_button_group.add(show_file_size_radio_button); 248 hide_file_size_radio_button = new JRadioButton("Prefereces.General.Hide_File_Size"); 249 hide_file_size_radio_button.setEnabled(Gatherer.c_man.ready()); 250 hide_file_size_radio_button.setOpaque(false); 251 file_size_button_group.add(hide_file_size_radio_button); 252 if(Gatherer.config.get("general.show_file_size", Configuration.COLLECTION_SPECIFIC)) { 253 show_file_size_radio_button.setSelected(true); 254 } 255 else { 256 hide_file_size_radio_button.setSelected(true); 225 show_file_size_checkbox = new JCheckBox("Preferences.General.Show_File_Size", false); 226 if (Gatherer.config.get("general.show_file_size", Configuration.COLLECTION_SPECIFIC)) { 227 show_file_size_checkbox.setSelected(true); 257 228 } 258 229 … … 264 235 265 236 // Connect 266 Gatherer.dictionary.register(file_size_label, null, false); 267 Gatherer.dictionary.register(show_file_size_radio_button, null, false); 268 Gatherer.dictionary.register(hide_file_size_radio_button, null, false); 269 Gatherer.dictionary.register(view_extracted_metadata_radio_button, null, false); 270 Gatherer.dictionary.register(hide_extracted_metadata_radio_button, null, false); 237 // Gatherer.dictionary.register(view_extracted_metadata_checkbox); 238 // Gatherer.dictionary.register(show_file_size_checkbox); 271 239 Gatherer.dictionary.register(language_label, null, false); 272 240 language_combobox.addActionListener(new LanguageComboboxListener()); 241 273 242 // Layout 274 275 file_size_pane.setLayout(new GridLayout(1,3,5,0));276 file_size_pane.add(show_file_size_radio_button);277 file_size_pane.add(hide_file_size_radio_button);278 279 extracted_metadata_pane.setLayout(new GridLayout(1,3,5,0));280 extracted_metadata_pane.add(view_extracted_metadata_radio_button);281 extracted_metadata_pane.add(hide_extracted_metadata_radio_button);282 283 243 language_pane.setLayout(new BorderLayout()); 284 244 language_pane.add(language_label, BorderLayout.WEST); … … 287 247 general_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5)); 288 248 general_pane.setLayout(new GridLayout(5,1,0,5)); 289 general_pane.add( extracted_metadata_pane);290 general_pane.add( file_size_pane);249 general_pane.add(view_extracted_metadata_checkbox); 250 general_pane.add(show_file_size_checkbox); 291 251 general_pane.add(language_pane); 292 252 … … 302 262 String property = (String) keys.next(); 303 263 String value = (String) warning_preferences.get(property); 304 264 // Remove 'warning.' 305 265 String title = Gatherer.dictionary.get(property.substring(8) + ".Title"); 306 266 Entry entry = new Entry(title, value.equalsIgnoreCase(TRUE)); … … 414 374 415 375 // General 416 Gatherer.dictionary.deregister(file_size_label); 417 Gatherer.dictionary.deregister(show_file_size_radio_button); 418 Gatherer.dictionary.deregister(hide_file_size_radio_button); 419 Gatherer.dictionary.deregister(extracted_metadata_label); 420 Gatherer.dictionary.deregister(view_extracted_metadata_radio_button); 421 Gatherer.dictionary.deregister(hide_extracted_metadata_radio_button); 376 Gatherer.dictionary.deregister(view_extracted_metadata_checkbox); 377 Gatherer.dictionary.deregister(show_file_size_checkbox); 422 378 Gatherer.dictionary.deregister(language_label); 423 379 … … 469 425 470 426 // General preferences 471 Gatherer.config.set("general.show_file_size", Configuration.COLLECTION_SPECIFIC, show_file_size_ radio_button.isSelected());427 Gatherer.config.set("general.show_file_size", Configuration.COLLECTION_SPECIFIC, show_file_size_checkbox.isSelected()); 472 428 if(Gatherer.g_man.mirror_pane != null) { 473 429 Gatherer.g_man.mirror_pane.refreshTrees(); … … 476 432 Gatherer.g_man.metaedit_pane.refreshTrees(); 477 433 478 Gatherer.config.set("general.view_extracted_metadata", Configuration.COLLECTION_SPECIFIC, view_extracted_metadata_ radio_button.isSelected());434 Gatherer.config.set("general.view_extracted_metadata", Configuration.COLLECTION_SPECIFIC, view_extracted_metadata_checkbox.isSelected()); 479 435 Gatherer.g_man.metaedit_pane.valueChanged((TreeSelectionEvent) null); // Refresh metadata table 480 436 … … 594 550 boolean enabled = use_proxy_checkbox.isSelected(); 595 551 Gatherer.config.set("general.use_proxy", true, enabled); 596 552 // Fortunately this is already driven by the event thread. 597 553 proxy_host_field.setEnabled(enabled); 598 554 proxy_port_field.setEnabled(enabled);
Note:
See TracChangeset
for help on using the changeset viewer.