diff options
| author | Simon Rettberg | 2015-08-28 10:52:48 +0200 |
|---|---|---|
| committer | Simon Rettberg | 2015-08-28 10:52:48 +0200 |
| commit | 73c931010035365a05e4256d2305810c38f06d05 (patch) | |
| tree | 4275f94e95b568c96f024623d7a2eca7cf408c63 /dozentenmodul/src/main/java/org/openslx/dozmod/App.java | |
| parent | [client] Query server status (diff) | |
| download | tutor-module-73c931010035365a05e4256d2305810c38f06d05.tar.gz tutor-module-73c931010035365a05e4256d2305810c38f06d05.tar.xz tutor-module-73c931010035365a05e4256d2305810c38f06d05.zip | |
[client] Apply default exception handler only to AWT thread
Diffstat (limited to 'dozentenmodul/src/main/java/org/openslx/dozmod/App.java')
| -rw-r--r-- | dozentenmodul/src/main/java/org/openslx/dozmod/App.java | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/dozentenmodul/src/main/java/org/openslx/dozmod/App.java b/dozentenmodul/src/main/java/org/openslx/dozmod/App.java index 62247967..6c22f244 100644 --- a/dozentenmodul/src/main/java/org/openslx/dozmod/App.java +++ b/dozentenmodul/src/main/java/org/openslx/dozmod/App.java @@ -168,7 +168,7 @@ public class App { SwingUtilities.invokeLater(new Runnable() { @Override public void run() { - Thread.setDefaultUncaughtExceptionHandler(new Thread.UncaughtExceptionHandler() { + Thread.currentThread().setUncaughtExceptionHandler(new Thread.UncaughtExceptionHandler() { @Override public void uncaughtException(Thread t, Throwable e) { Gui.showMessageBox( @@ -189,7 +189,7 @@ public class App { private static void adjustFontSize(int percent) { if (percent == 100 || percent <= 0 || percent > 1000) return; - final float scaling = 0.01f * (float)percent; + final float scaling = 0.01f * (float) percent; int size = determineDefaultFontSize(UIManager.getLookAndFeelDefaults()); if (size == -1) { size = determineDefaultFontSize(UIManager.getDefaults()); @@ -207,7 +207,8 @@ public class App { Font font = containerEvent.getChild().getFont(); if (font != null && font.getSize2D() <= defaultSize) { containerEvent.getChild().setFont( - new Font(font.getName(), font.getStyle(), Math.round(font.getSize2D() * scaling))); + new Font(font.getName(), font.getStyle(), Math.round(font.getSize2D() + * scaling))); } } } |