From 4de62b4bc6bb73bd81e438db97422f7d3a23c741 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Mon, 7 Sep 2015 16:28:14 +0200
Subject: [client] Fix scaling of titled borders

---
 dozentenmodul/src/main/java/org/openslx/dozmod/App.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'dozentenmodul/src/main/java')

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;
 	}
-- 
cgit v1.2.3-55-g7522