summaryrefslogtreecommitdiffstats
path: root/dozentenmodul/src/main/java
diff options
context:
space:
mode:
authorSimon Rettberg2015-09-07 16:28:14 +0200
committerSimon Rettberg2015-09-07 16:28:14 +0200
commit4de62b4bc6bb73bd81e438db97422f7d3a23c741 (patch)
tree6cffe26560d09d9cc62a2fca49cb7a67097b8b52 /dozentenmodul/src/main/java
parent[client] indented code into human readable .. (diff)
downloadtutor-module-4de62b4bc6bb73bd81e438db97422f7d3a23c741.tar.gz
tutor-module-4de62b4bc6bb73bd81e438db97422f7d3a23c741.tar.xz
tutor-module-4de62b4bc6bb73bd81e438db97422f7d3a23c741.zip
[client] Fix scaling of titled borders
Diffstat (limited to 'dozentenmodul/src/main/java')
-rw-r--r--dozentenmodul/src/main/java/org/openslx/dozmod/App.java6
1 files changed, 5 insertions, 1 deletions
diff --git a/dozentenmodul/src/main/java/org/openslx/dozmod/App.java b/dozentenmodul/src/main/java/org/openslx/dozmod/App.java
index 7c127bea..fe0781e4 100644
--- a/dozentenmodul/src/main/java/org/openslx/dozmod/App.java
+++ b/dozentenmodul/src/main/java/org/openslx/dozmod/App.java
@@ -213,6 +213,10 @@ public class App {
}
}
}, AWTEvent.COMPONENT_EVENT_MASK | AWTEvent.CONTAINER_EVENT_MASK);
+ Font tbFont = UIManager.getFont("TitledBorder.font");
+ if (tbFont != null) {
+ UIManager.put("TitledBorder.font", tbFont.deriveFont(tbFont.getSize2D() * scaling));
+ }
}
private static int determineDefaultFontSize(UIDefaults defaults) {
@@ -256,7 +260,7 @@ public class App {
}
proxyThread = null;
}
-
+
public static synchronized boolean isInitDone() {
return proxyThread == null;
}