Changeset 6532
- Timestamp:
- 2004-01-16T15:49:47+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/Gatherer.java
r6392 r6532 54 54 import org.greenstone.gatherer.gui.Coloring; 55 55 import org.greenstone.gatherer.gui.GUIManager; 56 import org.greenstone.gatherer.gui.ModalDialog; 56 57 import org.greenstone.gatherer.gui.Splash; 57 58 import org.greenstone.gatherer.gui.URLField; … … 88 89 static final private String SKIN_DEFINITION_FILE = "lib/greenaqua/greenaqua.xml"; 89 90 91 static public boolean always_show_exceptions = true; 90 92 /** Has the exit flag been set? <i>true</i> if so, <i>false</i> otherwise. */ 91 93 public boolean exit = false; … … 107 109 /** A public reference to the Gatherer's configuration. */ 108 110 static public Configuration config; 111 /** The current modal dialog being shown on screen, if any. */ 112 static public ModalDialog current_modal = null; 109 113 /** A public reference to the Dictionary. */ 110 114 static public Dictionary dictionary; … … 474 478 // Thanks to Walter Schatz from the java forums. 475 479 System.setProperty("java.util.prefs.syncInterval","2000000"); // One message every 600 hours! 480 481 // Override the exception handler with a new one which we can easily quiet the exceptions from. 482 System.setProperty("sun.awt.exception.handler", "GLIExceptionHandler"); 476 483 477 484 // Ensure platform specific LAF … … 1111 1118 } 1112 1119 } 1120 1121 static public class GLIExceptionHandler { 1122 public void handle(Throwable thrown) { 1123 if(always_show_exceptions || debug != null) { 1124 thrown.printStackTrace(); 1125 } 1126 } 1127 } 1113 1128 }
Note:
See TracChangeset
for help on using the changeset viewer.