diff options
author | Jonathan Bauer | 2015-09-07 15:36:09 +0200 |
---|---|---|
committer | Jonathan Bauer | 2015-09-07 15:36:09 +0200 |
commit | d57e0ef1bf746491904ea81689e5395a4409716f (patch) | |
tree | 4c5415d9ad315c6e809794b5e66f01df73627239 /dozentenmodul/src/main/java/org/openslx/dozmod/gui/MainWindow.java | |
parent | Merge branch 'v1.1' of git.openslx.org:openslx-ng/tutor-module into v1.1 (diff) | |
download | tutor-module-d57e0ef1bf746491904ea81689e5395a4409716f.tar.gz tutor-module-d57e0ef1bf746491904ea81689e5395a4409716f.tar.xz tutor-module-d57e0ef1bf746491904ea81689e5395a4409716f.zip |
[client] Scale windows/panels according to the saved scaling factor
When setting sizes, please use Gui.getScaledDimension(width, height)t
Diffstat (limited to 'dozentenmodul/src/main/java/org/openslx/dozmod/gui/MainWindow.java')
-rw-r--r-- | dozentenmodul/src/main/java/org/openslx/dozmod/gui/MainWindow.java | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/dozentenmodul/src/main/java/org/openslx/dozmod/gui/MainWindow.java b/dozentenmodul/src/main/java/org/openslx/dozmod/gui/MainWindow.java index 7fc7cae1..b862a29a 100644 --- a/dozentenmodul/src/main/java/org/openslx/dozmod/gui/MainWindow.java +++ b/dozentenmodul/src/main/java/org/openslx/dozmod/gui/MainWindow.java @@ -1,7 +1,6 @@ package org.openslx.dozmod.gui; import java.awt.BorderLayout; -import java.awt.Dimension; import java.awt.KeyEventDispatcher; import java.awt.KeyboardFocusManager; import java.awt.Window; @@ -196,8 +195,7 @@ public abstract class MainWindow { mainContainer.setLayout(new BoxLayout(mainContainer, BoxLayout.PAGE_AXIS)); // Scale the ui with the font. - int scale = Config.getFontScaling(); - mainWindow.setMinimumSize(new Dimension(850 * scale / 100, 650 * scale / 100)); + mainWindow.setMinimumSize(Gui.getScaledDimension(850, 650)); // register all pages of the main window registerPage(new MainMenuWindow()); @@ -208,7 +206,7 @@ public abstract class MainWindow { // Debug? if (System.getProperty("log") != null) { DebugWindow win = new DebugWindow(); - win.setMinimumSize(new Dimension(0, 250)); + win.setMinimumSize(Gui.getScaledDimension(0, 250)); win.setPreferredSize(win.getMinimumSize()); mainWindow.getContentPane().add(win, BorderLayout.PAGE_START); } |