- Timestamp:
- 2014-04-26T14:13:57+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainApplication.java
r7001 r7002 304 304 305 305 Thread.setDefaultUncaughtExceptionHandler(new BugReportExceptionHandler()); 306 // https://stackoverflow.com/q/75218/2257172307 // To be replaced with official API when switching to Java 7: https://bugs.openjdk.java.net/browse/JDK-4714232308 Preferences.updateSystemProperty("sun.awt.exception.handler", BugReportExceptionHandler.class.getName());309 306 310 307 // initialize the platform hook, and
Note:
See TracChangeset
for help on using the changeset viewer.