source: gli/branches/glicolgroup/src/org/greenstone/gatherer/gui/Preferences.java@ 19668

Last change on this file since 19668 was 19668, checked in by ak19, 15 years ago

Not working. Changes made for collectiongroup.
  • Property svn:keywords set to Author Date Id Revision
File size: 45.2 KB
Line 
1/**
2 *#########################################################################
3 *
4 * A component of the Gatherer application, part of the Greenstone digital
5 * library suite from the New Zealand Digital Library Project at the
6 * University of Waikato, New Zealand.
7 *
8 * Author: John Thompson, Greenstone Digital Library, University of Waikato
9 *
10 * Copyright (C) 1999 New Zealand Digital Library Project
11 *
12 * This program is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU General Public License as published by
14 * the Free Software Foundation; either version 2 of the License, or
15 * (at your option) any later version.
16 *
17 * This program is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 * GNU General Public License for more details.
21 *
22 * You should have received a copy of the GNU General Public License
23 * along with this program; if not, write to the Free Software
24 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
25 *########################################################################
26 */
27package org.greenstone.gatherer.gui;
28
29import java.awt.*;
30import java.awt.event.*;
31import java.io.*;
32import java.net.*;
33import java.util.*;
34import javax.swing.*;
35import javax.swing.event.*;
36import javax.swing.plaf.*;
37import org.greenstone.gatherer.remote.RemoteGreenstoneServer;
38import org.greenstone.gatherer.Configuration;
39import org.greenstone.gatherer.GAuthenticator;
40import org.greenstone.gatherer.DebugStream;
41import org.greenstone.gatherer.Dictionary;
42import org.greenstone.gatherer.Gatherer;
43import org.greenstone.gatherer.cdm.ClassifierManager;
44import org.greenstone.gatherer.cdm.LanguageManager;
45import org.greenstone.gatherer.cdm.PluginManager;
46import org.greenstone.gatherer.collection.Collection;
47import org.greenstone.gatherer.gui.tree.DragTree;
48import org.greenstone.gatherer.util.ArrayTools; // just for debug
49import org.greenstone.gatherer.util.CheckList;
50import org.greenstone.gatherer.util.CheckListEntry;
51import org.greenstone.gatherer.util.StaticStrings;
52import org.greenstone.gatherer.util.XMLTools;
53import org.w3c.dom.*;
54
55public class Preferences
56 extends ModalDialog
57{
58 static final public String CONNECTION_PREFS = "connection";
59 static final public String GENERAL_PREFS = "general";
60
61 static final private Dimension LABEL_SIZE = new Dimension(280, 25);
62 static final private Dimension ROW_SIZE = new Dimension(640, 25);
63 static final private Dimension SIZE = new Dimension(640, 345);
64 static final private String TRUE = "true";
65
66 private CheckList warning_preferences_check_list;
67 private EmailField email_field;
68 private JButton apply_button;
69 private JButton cancel_button;
70 private JButton ok_button;
71 private JCheckBox show_file_size_checkbox;
72 private JCheckBox use_proxy_checkbox;
73 private JCheckBox view_extracted_metadata_checkbox;
74 private JCheckBox workflow_download;
75 private JCheckBox workflow_gather;
76 private JCheckBox workflow_enrich;
77 private JCheckBox workflow_design;
78 private JCheckBox workflow_create;
79 private JCheckBox workflow_format;
80 private JComboBox language_combobox;
81 private JComboBox servlet_combobox; // GS3
82 private JComboBox site_combobox; // GS3
83 private JRadioButton assistant_mode_radio_button;
84 private JRadioButton expert_mode_radio_button;
85 private JRadioButton librarian_mode_radio_button;
86 private JSpinner proxy_port_field;
87 private JTabbedPane tab_pane;
88 private JTextArea mode_description_textarea;
89 private JTextField font_field;
90 private JTextField gliserver_url_field;
91 private JTextField library_path_field;
92 private JTextField program_field;
93 private JTextField proxy_host_field;
94 private Preferences self;
95
96 private String current_site_selection;
97
98 public Preferences() {
99 this(GENERAL_PREFS);
100 }
101
102 public Preferences(String initial_view) {
103 // Initialize
104 super(Gatherer.g_man, true);
105 this.self = this;
106 setSize(SIZE);
107 setTitle(Dictionary.get("Preferences"));
108 setJMenuBar(new SimpleMenuBar("preferences"));
109
110 // Creation
111 JPanel content_pane = (JPanel) getContentPane();
112 content_pane.setComponentOrientation(Dictionary.getOrientation());
113 tab_pane = new JTabbedPane();
114 tab_pane.setComponentOrientation(Dictionary.getOrientation());
115 JPanel general_preferences = createGeneralPreferences();
116 general_preferences.setComponentOrientation(Dictionary.getOrientation());
117 tab_pane.addTab(Dictionary.get("Preferences.General"), null, general_preferences, Dictionary.get("Preferences.General_Tooltip"));
118 tab_pane.addTab(Dictionary.get("Preferences.Mode"), null, createModePreferences(), Dictionary.get("Preferences.Mode_Tooltip"));
119 // tab_pane.addTab(Dictionary.get("Preferences.Workflow"), null, createWorkflowPreferences(), Dictionary.get("Preferences.Workflow_Tooltip"));
120 JPanel connection_preferences = createConnectionPreferences();
121 connection_preferences.setComponentOrientation(Dictionary.getOrientation());
122 tab_pane.addTab(Dictionary.get("Preferences.Connection"), null, connection_preferences, Dictionary.get("Preferences.Connection_Tooltip"));
123 tab_pane.addTab(Dictionary.get("Preferences.Warnings"), null, createWarningPreferences(), Dictionary.get("Preferences.Warnings_Tooltip"));
124
125 JPanel button_pane = new JPanel();
126 button_pane.setComponentOrientation(Dictionary.getOrientation());
127 ok_button = new GLIButton(Dictionary.get("General.OK"), Dictionary.get("General.OK_Tooltip"));
128
129 apply_button = new GLIButton(Dictionary.get("General.Apply"), Dictionary.get("General.Apply_Tooltip"));
130
131 cancel_button = new GLIButton(Dictionary.get("General.Cancel"), Dictionary.get("General.Cancel_Tooltip"));
132
133 // Connection
134 ok_button.addActionListener(new OKButtonListener(true));
135 apply_button.addActionListener(new OKButtonListener(false));
136 cancel_button.addActionListener(new CancelButtonListener());
137
138 // Layout
139 button_pane.setBorder(BorderFactory.createEmptyBorder(5,2,2,2));
140 button_pane.setLayout(new GridLayout(1,3,0,5));
141 button_pane.add(ok_button);
142 button_pane.add(apply_button);
143 button_pane.add(cancel_button);
144 button_pane.setComponentOrientation(Dictionary.getOrientation());
145
146 content_pane.setLayout(new BorderLayout());
147 content_pane.add(tab_pane, BorderLayout.CENTER);
148 content_pane.add(button_pane, BorderLayout.SOUTH);
149 content_pane.setComponentOrientation(Dictionary.getOrientation());
150
151 Dimension frame_size = Gatherer.g_man.getSize();
152 Point frame_location = Gatherer.g_man.getLocation();
153 setLocation(((frame_size.width - SIZE.width) / 2), ((frame_size.height - SIZE.height)));
154
155 // Bring the desired pane to the fore
156 if (initial_view.equals(CONNECTION_PREFS)) {
157 tab_pane.setSelectedComponent(connection_preferences);
158 }
159 else {
160 tab_pane.setSelectedComponent(general_preferences);
161 }
162
163 // Clean up
164 general_preferences = null;
165 connection_preferences = null;
166 frame_location = null;
167 frame_size = null;
168 cancel_button = null;
169 ok_button = null;
170 button_pane = null;
171 tab_pane = null;
172 content_pane = null;
173
174 setVisible(true);
175 }
176
177 private JPanel createConnectionPreferences() {
178 JPanel program_pane = new JPanel();
179 program_pane.setComponentOrientation(Dictionary.getOrientation());
180 program_pane.setPreferredSize(ROW_SIZE);
181 JLabel program_label = new JLabel(Dictionary.get("Preferences.Connection.ProgramCommand"));
182 program_label.setPreferredSize(LABEL_SIZE);
183 program_label.setComponentOrientation(Dictionary.getOrientation());
184
185 program_field = new JTextField(Configuration.getPreviewCommand());
186 program_field.setCaretPosition(0);
187 program_field.setToolTipText(Dictionary.get("Preferences.Connection.ProgramCommand_Tooltip"));
188 program_field.setComponentOrientation(Dictionary.getOrientation());
189
190 JPanel library_path_pane = new JPanel();
191 library_path_pane.setPreferredSize(ROW_SIZE);
192 library_path_pane.setComponentOrientation(Dictionary.getOrientation());
193 JLabel library_path_label = new JLabel();
194 library_path_label.setPreferredSize(LABEL_SIZE);
195 library_path_label.setComponentOrientation(Dictionary.getOrientation());
196 String library_url_string = "";
197 if (Configuration.library_url != null) {
198 library_url_string = Configuration.library_url.toString();
199 }
200 library_path_field = new JTextField(library_url_string);
201 library_path_field.setCaretPosition(0);
202 library_path_field.setComponentOrientation(Dictionary.getOrientation());
203 if (Gatherer.GS3) {
204 library_path_label.setText(Dictionary.get("Preferences.Connection.Library_Path_GS3"));
205 library_path_field.setToolTipText(Dictionary.get("Preferences.Connection.Library_Path_Tooltip_GS3"));
206 } else {
207 library_path_label.setText(Dictionary.get("Preferences.Connection.Library_Path"));
208 library_path_field.setToolTipText(Dictionary.get("Preferences.Connection.Library_Path_Tooltip"));
209 }
210
211 // Disable this field when using the applet, as it is automatically determined
212 library_path_label.setEnabled(!Gatherer.isApplet);
213 library_path_field.setEnabled(!Gatherer.isApplet);
214
215 JPanel gliserver_url_pane = null;
216 JLabel gliserver_url_label = null;
217 if (Gatherer.isGsdlRemote && !Gatherer.GS3) {
218 gliserver_url_pane = new JPanel();
219 gliserver_url_pane.setPreferredSize(ROW_SIZE);
220 gliserver_url_label = new JLabel(Dictionary.get("Preferences.Connection.GLIServer_URL"));
221 gliserver_url_label.setPreferredSize(LABEL_SIZE);
222 gliserver_url_label.setComponentOrientation(Dictionary.getOrientation());
223 String gliserver_url_string = "";
224 if (Configuration.gliserver_url != null) {
225 gliserver_url_string = Configuration.gliserver_url.toString();
226 }
227 gliserver_url_field = new JTextField(gliserver_url_string);
228 gliserver_url_field.setComponentOrientation(Dictionary.getOrientation());
229 gliserver_url_field.setCaretPosition(0);
230 gliserver_url_field.setToolTipText(Dictionary.get("Preferences.Connection.GLIServer_URL_Tooltip"));
231
232 // Disable this field when using the applet, as it is automatically determined
233 gliserver_url_label.setEnabled(!Gatherer.isApplet);
234 gliserver_url_field.setEnabled(!Gatherer.isApplet);
235 }
236
237 JPanel site_pane = null;
238 JLabel site_label = null;
239 JPanel servlet_pane = null;
240 JLabel servlet_label = null;
241 if (Gatherer.GS3) {
242 site_pane = new JPanel();
243 site_pane.setPreferredSize(ROW_SIZE);
244 site_pane.setComponentOrientation(Dictionary.getOrientation());
245 site_label = new JLabel(Dictionary.get("Preferences.Connection.Site"));
246 site_label.setPreferredSize(LABEL_SIZE);
247 site_label.setComponentOrientation(Dictionary.getOrientation());
248 // what should we do if Gatherer.servlet_config.getSites() is null?
249 site_combobox = new JComboBox(Gatherer.servlet_config.getSites().toArray());
250 site_combobox.setOpaque(false);
251 site_combobox.setToolTipText(Dictionary.get("Preferences.Connection.Site_Tooltip"));
252 site_combobox.setComponentOrientation(Dictionary.getOrientation());
253
254 servlet_pane = new JPanel();
255 servlet_pane.setPreferredSize(ROW_SIZE);
256 servlet_pane.setComponentOrientation(Dictionary.getOrientation());
257
258 servlet_label = new JLabel(Dictionary.get("Preferences.Connection.Servlet"));
259 servlet_label.setPreferredSize(LABEL_SIZE);
260 servlet_label.setComponentOrientation(Dictionary.getOrientation());
261 servlet_combobox = new JComboBox();
262 servlet_combobox.setOpaque(false);
263 servlet_combobox.setComponentOrientation(Dictionary.getOrientation());
264 // try to locate and select the current site
265 String this_site = Configuration.site_name;
266 for(int b = 0; b < site_combobox.getItemCount(); b++) {
267 String entry = (String) site_combobox.getItemAt(b);
268 if(this_site.equals(entry)) {
269 site_combobox.setSelectedIndex(b);
270 break;
271 }
272 }
273
274 // just in case its not the current one?
275 current_site_selection = (String)site_combobox.getSelectedItem();
276
277 ArrayList servlet_options = Gatherer.servlet_config.getServletsForSite(current_site_selection);
278 if (servlet_options == null) {
279 servlet_combobox.setToolTipText(Dictionary.get("Preferences.Connection.Servlet_Tooltip2"));
280 //servlet_combobox.setModel(new DefaultComboBoxModel());
281 servlet_combobox.setEnabled(false);
282 } else {
283 ///ystem.err.println(ArrayTools.objectArrayToString(servlet_options.toArray()));
284
285 servlet_combobox.setModel(new DefaultComboBoxModel(servlet_options.toArray()));
286 servlet_combobox.setToolTipText(Dictionary.get("Preferences.Connection.Servlet_Tooltip"));
287 servlet_combobox.setEnabled(true);
288 // try to locate and select the current servlet
289 String this_servlet = Configuration.getServletPath();
290 for(int b = 0; b < servlet_combobox.getItemCount(); b++) {
291 String entry = (String) servlet_combobox.getItemAt(b);
292 if(this_servlet.equals(entry)) {
293 servlet_combobox.setSelectedIndex(b);
294 break;
295 }
296 }
297
298 }
299 }
300
301 boolean currently_enabled = Configuration.get("general.use_proxy", true);
302 // Creation
303 JPanel connection_pane = new JPanel();
304 connection_pane.setComponentOrientation(Dictionary.getOrientation());
305 use_proxy_checkbox = new JCheckBox(Dictionary.get("Preferences.Connection.Use_Proxy"));
306 use_proxy_checkbox.setSelected(currently_enabled);
307 use_proxy_checkbox.setComponentOrientation(Dictionary.getOrientation());
308 use_proxy_checkbox.setPreferredSize(ROW_SIZE);
309
310 JPanel proxy_host_pane = new JPanel();
311 proxy_host_pane.setComponentOrientation(Dictionary.getOrientation());
312 proxy_host_pane.setPreferredSize(ROW_SIZE);
313
314 JLabel proxy_host_label = new JLabel(Dictionary.get("Preferences.Connection.Proxy_Host"));
315 proxy_host_label.setComponentOrientation(Dictionary.getOrientation());
316 proxy_host_label.setPreferredSize(LABEL_SIZE);
317
318 proxy_host_field = new JTextField(Configuration.getString("general.proxy_host", true));
319 proxy_host_field.setEnabled(currently_enabled);
320 proxy_host_field.setToolTipText(Dictionary.get("Preferences.Connection.Proxy_Host_Tooltip"));
321 proxy_host_field.setComponentOrientation(Dictionary.getOrientation());
322
323 JPanel proxy_port_pane = new JPanel();
324 proxy_port_pane.setComponentOrientation(Dictionary.getOrientation());
325 proxy_port_pane.setPreferredSize(ROW_SIZE);
326
327 JLabel proxy_port_label = new JLabel(Dictionary.get("Preferences.Connection.Proxy_Port"));
328 proxy_port_label.setPreferredSize(LABEL_SIZE);
329 proxy_port_label.setComponentOrientation(Dictionary.getOrientation());
330
331 String port_value = Configuration.getString("general.proxy_port", true);
332 if(port_value.length() > 0) {
333 proxy_port_field = new JSpinner(new SpinnerNumberModel((new Integer(port_value)).intValue(), 0, 65535, 1));
334 }
335 else {
336 proxy_port_field = new JSpinner(new SpinnerNumberModel(0, 0, 65535, 1));
337 }
338 proxy_port_field.setEnabled(currently_enabled);
339 proxy_port_field.setToolTipText(Dictionary.get("Preferences.Connection.Proxy_Port_Tooltip"));
340
341 // Connection
342 use_proxy_checkbox.addActionListener(new UseProxyListener());
343 if (Gatherer.GS3) {
344 site_combobox.addActionListener(new SiteComboboxListener());
345 }
346
347 // Layout
348 program_pane.setLayout(new BorderLayout());
349 program_pane.add(program_label, BorderLayout.LINE_START);
350 program_pane.add(program_field, BorderLayout.CENTER);
351
352 library_path_pane.setLayout(new BorderLayout());
353 library_path_pane.add(library_path_label, BorderLayout.LINE_START);
354 library_path_pane.add(library_path_field, BorderLayout.CENTER);
355
356 if (Gatherer.isGsdlRemote && !Gatherer.GS3) {
357 gliserver_url_pane.setLayout(new BorderLayout());
358 gliserver_url_pane.add(gliserver_url_label, BorderLayout.LINE_START);
359 gliserver_url_pane.add(gliserver_url_field, BorderLayout.CENTER);
360 }
361
362 if (Gatherer.GS3) {
363 site_pane.setLayout(new BorderLayout());
364 site_pane.add(site_label, BorderLayout.LINE_START);
365 site_pane.add(site_combobox, BorderLayout.CENTER);
366
367 servlet_pane.setLayout(new BorderLayout());
368 servlet_pane.add(servlet_label, BorderLayout.LINE_START);
369 servlet_pane.add(servlet_combobox, BorderLayout.CENTER);
370 }
371
372 proxy_host_pane.setLayout(new BorderLayout());
373 proxy_host_pane.add(proxy_host_label, BorderLayout.LINE_START);
374 proxy_host_pane.add(proxy_host_field, BorderLayout.CENTER);
375
376 proxy_port_pane.setLayout(new BorderLayout());
377 proxy_port_pane.add(proxy_port_label, BorderLayout.LINE_START);
378 proxy_port_pane.add(proxy_port_field, BorderLayout.CENTER);
379
380 connection_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
381 connection_pane.setLayout(new GridLayout(8,1,0,2));
382 connection_pane.add(program_pane);
383 connection_pane.add(library_path_pane);
384 if (Gatherer.isGsdlRemote && !Gatherer.GS3) {
385 connection_pane.add(gliserver_url_pane);
386 }
387 if (Gatherer.GS3) {
388 connection_pane.add(site_pane);
389 connection_pane.add(servlet_pane);
390 }
391 connection_pane.add(use_proxy_checkbox);
392 connection_pane.add(proxy_host_pane);
393 connection_pane.add(proxy_port_pane);
394
395 return connection_pane;
396 }
397
398 private JPanel createGeneralPreferences() {
399 JPanel general_pane = new JPanel();
400 general_pane.setComponentOrientation(Dictionary.getOrientation());
401 // Build the model of available languages
402 ArrayList dictionary_model = new ArrayList();
403
404 // The new method makes use of the successor to the languages.dat file, classes/xml/languages.xml
405 NodeList language_elements = LanguageManager.LANGUAGES_DOCUMENT.getDocumentElement().getElementsByTagName(StaticStrings.LANGUAGE_ELEMENT);
406 for(int i = 0; i < language_elements.getLength(); i++) {
407 Element language_element = (Element) language_elements.item(i);
408 if((language_element.getAttribute(StaticStrings.GLI_ATTRIBUTE)).equalsIgnoreCase(StaticStrings.TRUE_STR) || (language_element.getAttribute(StaticStrings.MDS_ATTRIBUTE)).equalsIgnoreCase(StaticStrings.TRUE_STR)) {
409 Locale locale = new Locale(language_element.getAttribute(StaticStrings.CODE_ATTRIBUTE));
410 String description = language_element.getAttribute(StaticStrings.NAME_ATTRIBUTE);
411 DictionaryEntry entry = new DictionaryEntry(description, locale);
412 if(!dictionary_model.contains(entry)) {
413 dictionary_model.add(entry);
414 }
415 entry = null;
416 description = null;
417 locale = null;
418 }
419 language_element = null;
420 }
421 language_elements = null;
422
423 // Users email
424 JPanel email_pane = new JPanel();
425 email_pane.setComponentOrientation(Dictionary.getOrientation());
426
427 JLabel email_label = new JLabel(Dictionary.get("Preferences.General.Email"));
428 email_label.setComponentOrientation(Dictionary.getOrientation());
429 email_label.setPreferredSize(LABEL_SIZE);
430
431 email_field = new EmailField(Configuration.getColor("coloring.error_background", false));
432 email_field.setText(Configuration.getEmail());
433 email_field.setToolTipText(Dictionary.get("Preferences.General.Email_Tooltip"));
434 email_field.setComponentOrientation(Dictionary.getOrientation());
435 // Font selection
436 JPanel font_pane = new JPanel();
437 font_pane.setComponentOrientation(Dictionary.getOrientation());
438
439 JLabel font_label = new JLabel(Dictionary.get("Preferences.General.Font"));
440 font_label.setComponentOrientation(Dictionary.getOrientation());
441 font_label.setPreferredSize(LABEL_SIZE);
442
443 font_field = new JTextField(Configuration.getString("general.font", true));
444 font_field.setToolTipText(Dictionary.get("Preferences.General.Font_Tooltip"));
445 font_field.setComponentOrientation(Dictionary.getOrientation());
446
447 // Extracted metadata
448 view_extracted_metadata_checkbox = new JCheckBox(Dictionary.get("Preferences.General.View_Extracted_Metadata"));
449 view_extracted_metadata_checkbox.setSelected(false);
450 view_extracted_metadata_checkbox.setComponentOrientation(Dictionary.getOrientation());
451
452 if (Configuration.get("general.view_extracted_metadata", Configuration.COLLECTION_SPECIFIC)) {
453 view_extracted_metadata_checkbox.setSelected(true);
454 }
455 view_extracted_metadata_checkbox.setToolTipText(Dictionary.get("Preferences.General.View_Extracted_Metadata_Tooltip"));
456 view_extracted_metadata_checkbox.setComponentOrientation(Dictionary.getOrientation());
457
458 // Show file sizes
459 show_file_size_checkbox = new JCheckBox(Dictionary.get("Preferences.General.Show_File_Size"));
460 show_file_size_checkbox.setSelected(false);
461 show_file_size_checkbox.setComponentOrientation(Dictionary.getOrientation());
462
463 if (Configuration.get("general.show_file_size", Configuration.COLLECTION_SPECIFIC)) {
464 show_file_size_checkbox.setSelected(true);
465 }
466 show_file_size_checkbox.setToolTipText(Dictionary.get("Preferences.General.Show_File_Size_Tooltip"));
467
468 // Language
469 JPanel language_pane = new JPanel();
470 language_pane.setComponentOrientation(Dictionary.getOrientation());
471
472 JLabel language_label = new JLabel(Dictionary.get("Preferences.General.Interface_Language"));
473 language_label.setComponentOrientation(Dictionary.getOrientation());
474 language_label.setPreferredSize(LABEL_SIZE);
475
476 language_combobox = new JComboBox(dictionary_model.toArray());
477 language_combobox.setOpaque(false);
478 language_combobox.setToolTipText(Dictionary.get("Preferences.General.Interface_Language_Tooltip"));
479 language_combobox.setComponentOrientation(Dictionary.getOrientation());
480
481 // Try to locate and select the current language
482 String language_code = Configuration.getLanguage();
483 for (int b = 0; b < language_combobox.getItemCount(); b++) {
484 DictionaryEntry entry = (DictionaryEntry) language_combobox.getItemAt(b);
485 if (language_code.equalsIgnoreCase(entry.getLocale().getLanguage())) {
486 language_combobox.setSelectedIndex(b);
487 break;
488 }
489 }
490
491 // Layout
492 email_pane.setLayout(new BorderLayout());
493 email_pane.add(email_label, BorderLayout.LINE_START);
494 email_pane.add(email_field, BorderLayout.CENTER);
495
496 language_pane.setLayout(new BorderLayout());
497 language_pane.add(language_label, BorderLayout.LINE_START);
498 language_pane.add(language_combobox, BorderLayout.CENTER);
499
500 font_pane.setLayout(new BorderLayout());
501 font_pane.add(font_label, BorderLayout.LINE_START);
502 font_pane.add(font_field, BorderLayout.CENTER);
503
504 general_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
505 general_pane.setLayout(new GridLayout(5,1,0,5));
506 general_pane.add(email_pane);
507 general_pane.add(language_pane);
508 general_pane.add(font_pane);
509 general_pane.add(view_extracted_metadata_checkbox);
510 general_pane.add(show_file_size_checkbox);
511
512 return general_pane;
513 }
514
515 /** Generate the controls for altering the detail mode.
516 * @return a JPanel of controls
517 */
518 private JPanel createModePreferences() {
519 // Create Controls
520 JPanel mode_panel = new JPanel();
521 mode_panel.setComponentOrientation(Dictionary.getOrientation());
522
523 JPanel button_panel = new JPanel();
524 button_panel.setComponentOrientation(Dictionary.getOrientation());
525
526 ButtonGroup mode_button_group = new ButtonGroup();
527
528 assistant_mode_radio_button = new JRadioButton(Dictionary.get("Preferences.Mode.Assistant"));
529 assistant_mode_radio_button.setOpaque(false);
530 assistant_mode_radio_button.setComponentOrientation(Dictionary.getOrientation());
531 mode_button_group.add(assistant_mode_radio_button);
532
533 expert_mode_radio_button = new JRadioButton(Dictionary.get("Preferences.Mode.Expert"));
534 expert_mode_radio_button.setOpaque(false);
535 expert_mode_radio_button.setComponentOrientation(Dictionary.getOrientation());
536 mode_button_group.add(expert_mode_radio_button);
537
538 librarian_mode_radio_button = new JRadioButton(Dictionary.get("Preferences.Mode.Librarian"));
539 librarian_mode_radio_button.setOpaque(false);
540 librarian_mode_radio_button.setComponentOrientation(Dictionary.getOrientation());
541 mode_button_group.add(librarian_mode_radio_button);
542
543
544 mode_description_textarea = new JTextArea();
545 mode_description_textarea.setComponentOrientation(Dictionary.getOrientation());
546 mode_description_textarea.setEditable(false);
547 mode_description_textarea.setLineWrap(true);
548 mode_description_textarea.setWrapStyleWord(true);
549 // Determine which value is already selected
550 switch(Configuration.getMode()) {
551 case Configuration.ASSISTANT_MODE:
552 assistant_mode_radio_button.setSelected(true);
553 mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Assistant_Description"));
554 break;
555 case Configuration.EXPERT_MODE:
556 expert_mode_radio_button.setSelected(true);
557 mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Expert_Description"));
558 break;
559 default:
560 librarian_mode_radio_button.setSelected(true);
561 mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Librarian_Description"));
562 }
563 // Connection - when a radio button is selected we have to change the description
564 ModeRadioButtonListener listener = new ModeRadioButtonListener();
565 assistant_mode_radio_button.addActionListener(listener);
566 expert_mode_radio_button.addActionListener(listener);
567 librarian_mode_radio_button.addActionListener(listener);
568 listener = null;
569 // Layout
570 button_panel.setBorder(BorderFactory.createEmptyBorder(0,0,5,0));
571 button_panel.setLayout(new GridLayout(3,1,2,2));
572 button_panel.add(assistant_mode_radio_button);
573 button_panel.add(librarian_mode_radio_button);
574 button_panel.add(expert_mode_radio_button);
575
576 mode_panel.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
577 mode_panel.setLayout(new BorderLayout());
578 mode_panel.add(button_panel, BorderLayout.NORTH);
579 mode_panel.add(new JScrollPane(mode_description_textarea), BorderLayout.CENTER);
580
581 return mode_panel;
582 }
583
584
585 /** The warning preferences are controlled through a checklist. */
586 private JPanel createWarningPreferences()
587 {
588 warning_preferences_check_list = new CheckList(false);
589 warning_preferences_check_list.setComponentOrientation(Dictionary.getOrientation());
590
591 // Read all the warnings from the general xml/config.xml file, and their values from the user config.xml file
592 Document general_config_xml_file_document = XMLTools.parseXMLFile("xml/config.xml", true);
593 NodeList argument_elements_nodelist = general_config_xml_file_document.getDocumentElement().getElementsByTagName("Argument");
594 for (int i = 0; i < argument_elements_nodelist.getLength(); i++) {
595 Element argument_element = (Element) argument_elements_nodelist.item(i);
596 String argument_element_name = argument_element.getAttribute("name");
597 if (argument_element_name.startsWith("warning.")) {
598 String warning_title = Dictionary.get(argument_element_name.substring("warning.".length()) + ".Title");
599 boolean warning_enabled = Configuration.get(argument_element_name, true);
600 CheckListEntry warning_entry = new CheckListEntry(warning_title, warning_enabled);
601 warning_entry.setProperty(argument_element_name);
602 warning_preferences_check_list.addEntry(warning_entry);
603 }
604 }
605
606 JPanel warning_preferences_pane = new JPanel();
607 warning_preferences_pane.setComponentOrientation(Dictionary.getOrientation());
608 warning_preferences_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
609 warning_preferences_pane.setLayout(new BorderLayout());
610 JScrollPane scrol_tmp = new JScrollPane(warning_preferences_check_list);
611 scrol_tmp.setComponentOrientation(Dictionary.getOrientation());
612 warning_preferences_pane.add(scrol_tmp, BorderLayout.CENTER);
613 return warning_preferences_pane;
614 }
615
616
617 private JPanel createWorkflowPreferences() {
618 // Read in the predefined configurations file
619 Vector predefined = new Vector();
620 Document predefined_document = XMLTools.parseXMLFile("xml/workflows.xml", true);
621 Element predefined_element = predefined_document.getDocumentElement();
622 NodeList workflow_elements = predefined_element.getElementsByTagName("Workflow");
623 for(int i = 0; i < workflow_elements.getLength(); i++) {
624 predefined.add(new WorkflowElementWrapper((Element)workflow_elements.item(i)));
625 }
626
627 // Creation
628 JPanel workflow_preferences_pane = new JPanel();
629 workflow_preferences_pane.setComponentOrientation(Dictionary.getOrientation());
630
631 JPanel checklist_pane = new JPanel();
632 checklist_pane.setComponentOrientation(Dictionary.getOrientation());
633
634 JLabel title_label = new JLabel(Dictionary.get("Preferences.Workflow.Title"));
635 title_label.setComponentOrientation(Dictionary.getOrientation());
636 title_label.setPreferredSize(ROW_SIZE);
637
638 workflow_download = new JCheckBox(Dictionary.get("GUI.Download")+" - "+Dictionary.get("GUI.Download_Tooltip"));
639 workflow_download.setComponentOrientation(Dictionary.getOrientation());
640 workflow_download.setSelected(Configuration.get("workflow.download", false) && Gatherer.isDownloadEnabled);
641 workflow_download.setPreferredSize(ROW_SIZE);
642
643 workflow_gather = new JCheckBox(Dictionary.get("GUI.Gather")+" - "+Dictionary.get("GUI.Gather_Tooltip"));
644 workflow_gather.setSelected(Configuration.get("workflow.gather", false));
645 workflow_gather.setPreferredSize(ROW_SIZE);
646 workflow_gather.setComponentOrientation(Dictionary.getOrientation());
647
648 workflow_enrich = new JCheckBox(Dictionary.get("GUI.Enrich")+" - "+Dictionary.get("GUI.Enrich_Tooltip"));
649 workflow_enrich.setSelected(Configuration.get("workflow.enrich", false));
650 workflow_enrich.setPreferredSize(ROW_SIZE);
651 workflow_enrich.setComponentOrientation(Dictionary.getOrientation());
652
653 workflow_design = new JCheckBox(Dictionary.get("GUI.Design")+" - "+Dictionary.get("GUI.Design_Tooltip"));
654 workflow_design.setSelected(Configuration.get("workflow.design", false));
655 workflow_design.setPreferredSize(ROW_SIZE);
656 workflow_design.setComponentOrientation(Dictionary.getOrientation());
657
658 workflow_create = new JCheckBox(Dictionary.get("GUI.Create")+" - "+Dictionary.get("GUI.Create_Tooltip"));
659 workflow_create.setSelected(Configuration.get("workflow.create", false));
660 workflow_create.setPreferredSize(ROW_SIZE);
661 workflow_create.setComponentOrientation(Dictionary.getOrientation());
662
663 workflow_format = new JCheckBox(Dictionary.get("GUI.Format")+" - "+Dictionary.get("GUI.Format_Tooltip"));
664 workflow_format.setSelected(Configuration.get("workflow.format", false));
665 workflow_format.setPreferredSize(ROW_SIZE);
666 workflow_format.setComponentOrientation(Dictionary.getOrientation());
667
668 JPanel predefined_pane = new JPanel();
669 predefined_pane.setComponentOrientation(Dictionary.getOrientation());
670
671 JLabel predefined_label = new JLabel(Dictionary.get("Preferences.Workflow.Predefined.Label"));
672 predefined_label.setComponentOrientation(Dictionary.getOrientation());
673
674 JComboBox predefined_combobox = new JComboBox(predefined);
675 predefined_combobox.setOpaque(false);
676 // Connection
677 predefined_combobox.addActionListener(new PredefinedActionListener());
678
679 // Layout
680 checklist_pane.setLayout(new BoxLayout(checklist_pane, BoxLayout.Y_AXIS));
681 checklist_pane.add(title_label);
682 if (Configuration.get("workflow.download", true)) {
683 checklist_pane.add(workflow_download);
684 }
685 if (Configuration.get("workflow.gather", true)) {
686 checklist_pane.add(workflow_gather);
687 }
688 if (Configuration.get("workflow.enrich", true)) {
689 checklist_pane.add(workflow_enrich);
690 }
691 if (Configuration.get("workflow.design", true)) {
692 checklist_pane.add(workflow_design);
693 }
694 if (Configuration.get("workflow.create", true)) {
695 checklist_pane.add(workflow_create);
696 }
697 if (Configuration.get("workflow.format", true)) {
698 checklist_pane.add(workflow_format);
699 }
700
701 predefined_pane.setLayout(new BorderLayout(5,0));
702 predefined_pane.add(predefined_label, BorderLayout.LINE_START);
703 predefined_pane.add(predefined_combobox, BorderLayout.CENTER);
704
705 workflow_preferences_pane.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
706 workflow_preferences_pane.setLayout(new BorderLayout());
707 workflow_preferences_pane.add(checklist_pane, BorderLayout.CENTER);
708 workflow_preferences_pane.add(predefined_pane, BorderLayout.SOUTH);
709
710 return workflow_preferences_pane;
711 }
712
713
714 private class OKButtonListener
715 implements ActionListener {
716 private boolean close;
717 public OKButtonListener(boolean close) {
718 this.close = close;
719 }
720 public void actionPerformed(ActionEvent event)
721 {
722 // Several options requiring restarting the GLI to apply:
723 // interface font, interface language, changed gliserver url or library url
724 boolean restart_required = false;
725 boolean keep_collection_open = false;
726 String restart_message = "";
727
728
729 // Connection preferences
730 String program_str = program_field.getText();
731 if (program_str.length() > 0 && program_str.indexOf("%1") == -1) {
732 program_str = program_str + " %1";
733 }
734 Configuration.setPreviewCommand(program_str);
735
736 String old_library_url = (Configuration.library_url == null) ? null : Configuration.library_url.toString();
737 String library_url_string = library_path_field.getText();
738 if(old_library_url != null && !old_library_url.equals(library_url_string)) {
739
740 // If the server is remote and the library path's been changed, then GLI client needs restart
741 // If the server is local, GLI is going to work with the collection of GSDLPath anyway,
742 // even if the library path for previewing has changed
743 if (Gatherer.isGsdlRemote) {
744 restart_required = true;
745 restart_message = Dictionary.get("Preferences.General.Manual_Restart_Required");
746
747 }
748 if(Gatherer.c_man.getCollection() != null) {
749 // if the gliserver url has changed while a collection is open,
750 // close the open collection of the old library URL
751 Gatherer.g_man.saveThenCloseCurrentCollection();
752 Configuration.setString("general.open_collection"+Configuration.gliPropertyNameSuffix(), true, "");
753 }
754 }
755 if (library_url_string.equals("")) {
756 Configuration.library_url = null;
757 }
758 else {
759 try {
760 Configuration.library_url = new URL(library_url_string);
761 }
762 catch (MalformedURLException exception) {
763 DebugStream.printStackTrace(exception);
764 }
765 }
766
767 Configuration.setString("general.library_url"+Configuration.gliPropertyNameSuffix(),
768 true, library_url_string);
769
770 if (Gatherer.isGsdlRemote && !Gatherer.GS3) {
771 String old_gliserver_url = Configuration.gliserver_url.toString();
772 String gliserver_url_string = gliserver_url_field.getText();
773 if(!old_gliserver_url.equals(gliserver_url_string)) {
774 restart_required = true;
775 restart_message = Dictionary.get("Preferences.General.Manual_Restart_Required");
776
777 if(Gatherer.c_man.getCollection() != null) {
778 // if the gliserver url has changed while a collection is open,
779 // close the open collection of the old gliserver URL
780 Gatherer.g_man.saveThenCloseCurrentCollection();
781 Configuration.setString("general.open_collection"+Configuration.gliPropertyNameSuffix(), true, "");
782 }
783 }
784 if (gliserver_url_string.equals("")) {
785 Configuration.gliserver_url = null;
786 }
787 else {
788 try {
789 Configuration.gliserver_url = new URL(gliserver_url_string);
790 }
791 catch (MalformedURLException exception) {
792 DebugStream.printStackTrace(exception);
793 }
794 }
795 Configuration.setString("general.gliserver_url", true, gliserver_url_string);
796 }
797
798
799 boolean site_changed = false;
800 if (Gatherer.GS3) {
801 String current_site = Configuration.site_name;
802 String new_site =(String)site_combobox.getSelectedItem() ;
803 if (!new_site.equals(current_site)) {
804 site_changed = true;
805 }
806 Configuration.setSiteAndServlet(new_site, (String)servlet_combobox.getSelectedItem());
807 }
808
809 Configuration.set("general.use_proxy", true, use_proxy_checkbox.isSelected());
810 Configuration.setString("general.proxy_host", true, proxy_host_field.getText());
811 Configuration.setString("general.proxy_port", true, proxy_port_field.getValue() + "");
812 Gatherer.setProxy();
813
814 // General preferences
815 Configuration.setEmail(email_field.getText());
816 Configuration.set("general.show_file_size", Configuration.COLLECTION_SPECIFIC, show_file_size_checkbox.isSelected());
817 Configuration.set("general.view_extracted_metadata", Configuration.COLLECTION_SPECIFIC, view_extracted_metadata_checkbox.isSelected());
818
819
820 // GLI interface font
821 String current_font = Configuration.getString("general.font", true);
822 if (!current_font.equals(font_field.getText())) {
823 Configuration.setString("general.font", true, font_field.getText());
824 restart_required = true;
825 restart_message = Dictionary.get("Preferences.General.Restart_Required");
826
827 }
828
829 // GLI interface language
830 String current_lang = Configuration.getLanguage();
831 if (!current_lang.equals(((DictionaryEntry) language_combobox.getSelectedItem()).getLocale().getLanguage())) {
832 // need to save the collection before changing the locale otherwise it stuffs the metadata names up
833 if(Gatherer.c_man.getCollection() != null) {
834 Configuration.setString("general.open_collection"+Configuration.gliPropertyNameSuffix(), true, Gatherer.c_man.getLoadedCollectionColFilePath());
835 Gatherer.g_man.saveThenCloseCurrentCollection();
836 keep_collection_open = true;
837 }
838
839 Configuration.setLocale("general.locale", Configuration.GENERAL_SETTING, ((DictionaryEntry) language_combobox.getSelectedItem()).getLocale());
840 restart_required = true;
841 restart_message = Dictionary.get("Preferences.General.Restart_Required");
842 }
843
844 // Inform the user that a restart is required, if necessary
845 if (restart_required) {
846 JOptionPane.showMessageDialog(Gatherer.g_man, restart_message, Dictionary.get("General.Warning"), JOptionPane.WARNING_MESSAGE);
847 }
848
849 // Mode preferences
850 int current_mode = Configuration.getMode();
851 int new_mode;
852 if (assistant_mode_radio_button.isSelected()) {
853 new_mode = Configuration.ASSISTANT_MODE;
854 }
855 else if (expert_mode_radio_button.isSelected()) {
856 new_mode = Configuration.EXPERT_MODE;
857 }
858 else {
859 new_mode = Configuration.LIBRARIAN_MODE;
860 }
861
862 // If there has been a change in modes, update the config, and also inform the persistant gui views that have a need to know
863 if (new_mode != current_mode) {
864 Configuration.setMode(new_mode);
865 Collection collection = Gatherer.c_man.getCollection();
866 if (collection != null) {
867 collection.cdm.modeChanged(new_mode);
868 }
869 Gatherer.g_man.modeChanged(new_mode);
870 }
871
872 // Warning preferences
873 ListModel warning_preferences_check_list_model = warning_preferences_check_list.getModel();
874 for (int i = 0; i < warning_preferences_check_list_model.getSize(); i++) {
875 CheckListEntry entry = (CheckListEntry) warning_preferences_check_list_model.getElementAt(i);
876 Configuration.set(entry.getProperty(), true, entry.isSelected());
877 }
878
879 if (Gatherer.GS3 && site_changed && Gatherer.c_man.getCollection() != null && !Gatherer.isGsdlRemote) {
880 // shut down the collection
881 System.err.println("shutting down the collection");
882 Gatherer.g_man.saveThenCloseCurrentCollection();
883 }
884
885 // Workflow preferences
886// Configuration.set("workflow.download", false, workflow_download.isSelected());
887// Configuration.set("workflow.gather", false, workflow_gather.isSelected());
888// Configuration.set("workflow.enrich", false, workflow_enrich.isSelected());
889// Configuration.set("workflow.design", false, workflow_design.isSelected());
890// Configuration.set("workflow.create", false, workflow_create.isSelected());
891// Configuration.set("workflow.format", false, workflow_format.isSelected());
892
893// Gatherer.g_man.workflowUpdate("Download", workflow_download.isSelected());
894// Gatherer.g_man.workflowUpdate("Gather", workflow_gather.isSelected());
895// Gatherer.g_man.workflowUpdate("Enrich", workflow_enrich.isSelected());
896// Gatherer.g_man.workflowUpdate("Design", (workflow_design.isSelected() && Configuration.getMode() > Configuration.ASSISTANT_MODE));
897// Gatherer.g_man.workflowUpdate("Create", workflow_create.isSelected());
898// Gatherer.g_man.workflowUpdate("Format", workflow_format.isSelected());
899
900 // Always save configuration changes immediately (in case the GLI crashes)
901 Configuration.save();
902 if (Gatherer.isGsdlRemote && Gatherer.GS3 && site_changed ){
903 Gatherer.remoteGreenstoneServer.downloadCollectionConfigurations();
904 }
905 // Refresh the GLI to account for the configuration changes
906 Gatherer.refresh(Gatherer.PREFERENCES_CHANGED);
907
908 // Hide dialog
909 if (close) {
910 self.dispose();
911 }
912
913 if (restart_required) {
914 if (keep_collection_open) {
915 Gatherer.g_man.exitNoCollectionSave(Gatherer.EXIT_THEN_RESTART);
916 } else {
917 Gatherer.g_man.exit(Gatherer.EXIT_THEN_RESTART);
918 }
919 }
920 }
921 }
922
923 private class CancelButtonListener
924 implements ActionListener {
925 public void actionPerformed(ActionEvent event) {
926 self.dispose();
927 }
928 }
929
930 private class DictionaryEntry
931 implements Comparable {
932 private Locale locale;
933 private String description;
934 public DictionaryEntry(Locale locale) {
935 this.description = null;
936 this.locale = locale;
937 }
938 public DictionaryEntry(String description, Locale locale) {
939 this.description = description;
940 this.locale = locale;
941 }
942 public int compareTo(Object object) {
943 return toString().compareTo(object.toString());
944 }
945 public boolean equals(Object object) {
946 return toString().equals(object.toString());
947 }
948 public Locale getLocale() {
949 return locale;
950 }
951 public String toString() {
952 if(description != null) {
953 return description;
954 }
955 else {
956 return locale.getDisplayName();
957 }
958 }
959 }
960
961 /** This listener updates the mode description depending on what mode is selected. */
962 private class ModeRadioButtonListener
963 implements ActionListener {
964 public void actionPerformed(ActionEvent event) {
965 Object source = event.getSource();
966 if(source == assistant_mode_radio_button) {
967 mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Assistant_Description"));
968 }
969 else if(source == expert_mode_radio_button) {
970 mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Expert_Description"));
971 }
972 else {
973 mode_description_textarea.setText(Dictionary.get("Preferences.Mode.Librarian_Description"));
974 }
975 source = null;
976 }
977 }
978
979 private class PredefinedActionListener
980 implements ActionListener {
981 public void actionPerformed(ActionEvent event) {
982 JComboBox cb = (JComboBox) event.getSource();
983 WorkflowElementWrapper element = (WorkflowElementWrapper) cb.getSelectedItem();
984 CheckboxUpdater task = new CheckboxUpdater(element);
985 SwingUtilities.invokeLater(task);
986 }
987
988 private class CheckboxUpdater
989 implements Runnable {
990 private WorkflowElementWrapper element;
991 public CheckboxUpdater(WorkflowElementWrapper element) {
992 this.element = element;
993 }
994 public void run() {
995 workflow_download.setSelected(element.getEnabled("download"));
996 workflow_gather.setSelected(element.getEnabled("gather"));
997 workflow_enrich.setSelected(element.getEnabled("enrich"));
998 workflow_design.setSelected(element.getEnabled("design"));
999 workflow_create.setSelected(element.getEnabled("create"));
1000 workflow_format.setSelected(element.getEnabled("format"));
1001 }
1002 }
1003 }
1004
1005
1006 private class SiteComboboxListener
1007 implements ActionListener {
1008 private boolean ignore_event=false;
1009 public void actionPerformed(ActionEvent event) {
1010 System.err.println("event occurred "+event.paramString());
1011 String site = (String) site_combobox.getSelectedItem();
1012 System.err.println("The site changed to = "+site);
1013 if (!site.equals(current_site_selection)) {
1014 current_site_selection = site;
1015 System.err.println("changed the current selection");
1016
1017 ArrayList servlet_options = Gatherer.servlet_config.getServletsForSite(current_site_selection);
1018 if (servlet_options == null) {
1019 ///ystem.err.println("no servlets for this site");
1020 servlet_combobox.setModel(new DefaultComboBoxModel());
1021 servlet_combobox.setToolTipText(Dictionary.get("Preferences.Connection.Servlet_Tooltip2"));
1022 servlet_combobox.setEnabled(false);
1023
1024 } else {
1025 ///ystem.err.println(ArrayTools.objectArrayToString(servlet_options.toArray()));
1026 servlet_combobox.setModel(new DefaultComboBoxModel(servlet_options.toArray()));
1027 servlet_combobox.setToolTipText(Dictionary.get("Preferences.Connection.Servlet_Tooltip"));
1028 servlet_combobox.setEnabled(true);
1029 }
1030 if (Gatherer.isGsdlRemote){
1031 // Close the current collection, remove the lock on this file, ask to login to the new site, then download collection configurations of the site.
1032 if (Gatherer.c_man.getCollection()!=null){
1033 File lock_file = new File(Gatherer.c_man.getLoadedCollectionDirectoryPath() + "gli.lck");
1034 Gatherer.remoteGreenstoneServer.deleteCollectionFile(Gatherer.c_man.getLoadedGroupQualifiedCollectionName(true),lock_file);
1035 Gatherer.g_man.closeCurrentCollection();
1036 }
1037 Configuration.site_name=site;
1038 Gatherer.remoteGreenstoneServer.set_remote_greenstone_server_authentication_to_null();
1039 Gatherer.remoteGreenstoneServer.downloadCollectionConfigurations();
1040 }
1041 }
1042 }
1043 }
1044
1045 private class UseProxyListener
1046 implements ActionListener {
1047 public void actionPerformed(ActionEvent event) {
1048 boolean enabled = use_proxy_checkbox.isSelected();
1049 Configuration.set("general.use_proxy", true, enabled);
1050 // Fortunately this is already driven by the event thread.
1051 proxy_host_field.setEnabled(enabled);
1052 proxy_port_field.setEnabled(enabled);
1053 }
1054 }
1055
1056 private class WorkflowElementWrapper {
1057 private Element element;
1058 private String text;
1059 public WorkflowElementWrapper(Element element) {
1060 this.element = element;
1061 }
1062 public boolean getEnabled(String name) {
1063 boolean result = true;
1064 if(element.getAttribute(name).equalsIgnoreCase("false")) {
1065 result = false;
1066 }
1067 return result;
1068 }
1069 public String toString() {
1070 if (text == null) {
1071 text = Dictionary.get(element.getFirstChild().getNodeValue());
1072 }
1073 return text;
1074 }
1075 }
1076}
Note: See TracBrowser for help on using the repository browser.