- Timestamp:
- 2003-07-25T16:29:35+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java
r4933 r5033 50 50 import org.greenstone.gatherer.msm.ElementWrapper; 51 51 import org.greenstone.gatherer.util.Utility; 52 import org.w3c.dom.*;52 //import org.w3c.dom.*; 53 53 /** This class serves as the data holder for all subclasses of option panes, such as Import options or All options. It also contains methods for creating each of the option lines as they would appear in the subpane. Futhermore it has a method for considering all the arguments and generating a <strong>String[]</strong> to allow you to pass them to the <strong>GShell</strong>. 54 54 * @author John Thompson, Greenstone Digital Library, University of Waikato … … 88 88 89 89 /** The default constructor creates the few session length options, but either retrieves the rest from the current collection, or creates a default set of options. */ 90 public OptionsPane(JTextArea log, BuildOptions build_options) {91 this.log_display = log;90 public OptionsPane(JTextArea message_log, BuildOptions build_options) { 91 this.log_display = new JTextArea(message_log.getDocument()); 92 92 this.build_options = build_options; 93 93 this.log_change_listener = new LogChangeListener(); … … 230 230 231 231 } 232 232 233 log_pane.add(new JScrollPane(log_display), BorderLayout.CENTER); 233 234 JLabel log_history_label = new JLabel(get("LogHistory")); 234 235 JPanel log_history_pane = new JPanel(); 236 235 237 log_history_pane.setLayout(new BorderLayout()); 236 238 log_history_pane.add(log_history_label, BorderLayout.NORTH); 237 239 log_history_pane.add(list_scroller, BorderLayout.SOUTH); 240 238 241 log_pane.add(log_history_pane, BorderLayout.SOUTH); 239 242 } … … 281 284 public void loadSelectedLog(FileEntry fe) { 282 285 ///ystem.out.println("load selected log"); 283 if (is_log_changed) { 284 saveLogFile(displayed_log.getFile()); 285 } else { 286 log_display.getDocument().removeDocumentListener(log_change_listener); 286 if(displayed_log != null) { 287 if (is_log_changed) { 288 saveLogFile(displayed_log.getFile()); 289 } else { 290 log_display.getDocument().removeDocumentListener(log_change_listener); 291 } 287 292 } 288 293
Note:
See TracChangeset
for help on using the changeset viewer.