Changeset 6825
- Timestamp:
- 2004-02-18T10:20:57+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r6642 r6825 609 609 } 610 610 611 public void dispose() {612 // Unregister component613 Dictionary.unregister(this);614 Dictionary.unregister(tab_pane);615 Dictionary.unregister(ok_button);616 Dictionary.unregister(apply_button);617 Dictionary.unregister(cancel_button);618 Dictionary.unregister(library_path_label);619 Dictionary.unregister(library_path_field);620 Dictionary.unregister(use_proxy_checkbox);621 Dictionary.unregister(program_label);622 Dictionary.unregister(proxy_host_label);623 Dictionary.unregister(proxy_host_field);624 Dictionary.unregister(proxy_port_label);625 Dictionary.unregister(proxy_port_field);626 Dictionary.unregister(email_label);627 Dictionary.unregister(email_field);628 Dictionary.unregister(view_extracted_metadata_checkbox);629 Dictionary.unregister(show_file_size_checkbox);630 Dictionary.unregister(language_label);631 Dictionary.unregister(language_combobox);632 //Dictionary.unregister(recursion_depth_label);633 //Dictionary.unregister(recursion_depth_spinner);634 Dictionary.unregister(title_label);635 Dictionary.unregister(workflow_browse);636 Dictionary.unregister(workflow_mirror);637 Dictionary.unregister(workflow_gather);638 Dictionary.unregister(workflow_enrich);639 Dictionary.unregister(workflow_design);640 Dictionary.unregister(workflow_export);641 Dictionary.unregister(workflow_create);642 Dictionary.unregister(workflow_preview);643 Dictionary.unregister(predefined_label);644 // Dispose645 super.dispose();646 }647 611 648 612 private class OKButtonListener … … 677 641 678 642 // General preferences 679 643 Gatherer.config.setEmail(email_field.getText()); 680 644 681 645 Gatherer.config.set("general.show_file_size", Configuration.COLLECTION_SPECIFIC, show_file_size_checkbox.isSelected());
Note:
See TracChangeset
for help on using the changeset viewer.