1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
package cuchaz.enigma.gui.util;
import java.awt.Dimension;
import java.awt.Font;
import java.awt.Insets;
import java.lang.reflect.Field;
import java.util.ArrayList;
import java.util.List;
import javax.swing.BorderFactory;
import javax.swing.UIManager;
import javax.swing.border.Border;
import com.github.swingdpi.UiDefaultsScaler;
import com.github.swingdpi.plaf.BasicTweaker;
import com.github.swingdpi.plaf.MetalTweaker;
import com.github.swingdpi.plaf.NimbusTweaker;
import com.github.swingdpi.plaf.WindowsTweaker;
import de.sciss.syntaxpane.DefaultSyntaxKit;
import cuchaz.enigma.gui.config.UiConfig;
public class ScaleUtil {
private static List<ScaleChangeListener> listeners = new ArrayList<>();
public static void setScaleFactor(float scaleFactor) {
float oldScale = UiConfig.getScaleFactor();
float clamped = Math.min(Math.max(0.25f, scaleFactor), 10.0f);
UiConfig.setScaleFactor(clamped);
rescaleFontInConfig("Default", oldScale);
rescaleFontInConfig("Default 2", oldScale);
rescaleFontInConfig("Small", oldScale);
rescaleFontInConfig("Editor", oldScale);
UiConfig.save();
listeners.forEach(l -> l.onScaleChanged(clamped, oldScale));
}
public static void addListener(ScaleChangeListener listener) {
listeners.add(listener);
}
public static void removeListener(ScaleChangeListener listener) {
listeners.remove(listener);
}
public static Dimension getDimension(int width, int height) {
return new Dimension(scale(width), scale(height));
}
public static Insets getInsets(int top, int left, int bottom, int right) {
return new Insets(scale(top), scale(left), scale(bottom), scale(right));
}
public static Font getFont(String fontName, int style, int fontSize) {
return scaleFont(new Font(fontName, style, fontSize));
}
public static Font scaleFont(Font font) {
return createTweakerForCurrentLook(UiConfig.getActiveScaleFactor()).modifyFont("", font);
}
private static void rescaleFontInConfig(String name, float oldScale) {
UiConfig.getFont(name).ifPresent(font -> UiConfig.setFont(name, rescaleFont(font, oldScale)));
}
// This does not use the font that's currently active in the UI!
private static Font rescaleFont(Font font, float oldScale) {
float newSize = Math.round(font.getSize() / oldScale * UiConfig.getScaleFactor());
return font.deriveFont(newSize);
}
public static float scale(float f) {
return f * UiConfig.getActiveScaleFactor();
}
public static float invert(float f) {
return f / UiConfig.getActiveScaleFactor();
}
public static int scale(int i) {
return (int) (i * UiConfig.getActiveScaleFactor());
}
public static Border createEmptyBorder(int top, int left, int bottom, int right) {
return BorderFactory.createEmptyBorder(scale(top), scale(left), scale(bottom), scale(right));
}
public static int invert(int i) {
return (int) (i / UiConfig.getActiveScaleFactor());
}
public static void applyScaling() {
float scale = UiConfig.getActiveScaleFactor();
if (UiConfig.getActiveLookAndFeel().needsScaling()) {
UiDefaultsScaler.updateAndApplyGlobalScaling((int) (100 * scale), true);
}
try {
Field defaultFontField = DefaultSyntaxKit.class.getDeclaredField("DEFAULT_FONT");
defaultFontField.setAccessible(true);
Font font = (Font) defaultFontField.get(null);
font = font.deriveFont(12 * scale);
defaultFontField.set(null, font);
} catch (NoSuchFieldException | IllegalAccessException e) {
e.printStackTrace();
}
}
private static BasicTweaker createTweakerForCurrentLook(float dpiScaling) {
String testString = UIManager.getLookAndFeel().getName().toLowerCase();
if (testString.contains("windows")) {
return new WindowsTweaker(dpiScaling, testString.contains("classic"));
}
if (testString.contains("metal")) {
return new MetalTweaker(dpiScaling);
}
if (testString.contains("nimbus")) {
return new NimbusTweaker(dpiScaling);
}
return new BasicTweaker(dpiScaling);
}
}
|
