Upgrade to MigLayout 5.1

This commit is contained in:
Reinhard Pointner 2018-03-17 17:50:19 +07:00
parent 5c3ffa1706
commit 818c2ffcb1
2 changed files with 1 additions and 6 deletions

View File

@ -17,7 +17,7 @@
<dependency rev="3.6" org="commons-net" name="commons-net" />
<dependency rev="1.7.25" org="org.slf4j" name="slf4j-jdk14" />
<dependency rev="1.10.0" org="net.java.dev.glazedlists" name="glazedlists_java16" />
<dependency rev="5.0" org="com.miglayout" name="miglayout-swing" />
<dependency rev="5.1" org="com.miglayout" name="miglayout-swing" />
<dependency rev="2.1" org="org.apache.commons" name="commons-vfs2" />
<dependency rev="0.7" org="com.github.junrar" name="junrar" />
<dependency rev="2.6.1" org="com.fifesoft" name="rsyntaxtextarea" />

View File

@ -13,8 +13,6 @@ import com.sun.jna.platform.win32.Shell32;
import com.sun.jna.platform.win32.WinError;
import com.sun.jna.ptr.PointerByReference;
import net.miginfocom.layout.PlatformDefaults;
public class WinAppUtilities {
public static void setAppUserModelID(String appID) {
@ -40,9 +38,6 @@ public class WinAppUtilities {
public static void initializeApplication() {
// improved UI defaults
UIManager.put("TitledBorder.border", createCompoundBorder(createLineBorder(new Color(0xD7D7D7), 1, true), createCompoundBorder(createMatteBorder(6, 5, 6, 5, new Color(0xE5E5E5)), createEmptyBorder(0, 2, 0, 2))));
// disable MigLayout scaling to fix layout on high-resolution screens (see https://github.com/mikaelgrev/miglayout/issues/53)
PlatformDefaults.setLogicalPixelBase(PlatformDefaults.BASE_REAL_PIXEL);
}
private WinAppUtilities() {