Warning: session_start(): open(/var/lib/php/sessions/sess_hjcpp6coaa6pr8dguh6297gaio, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sbool swingFontScale_debug;
static void swingFontScale(double scale) {
swingFontScale((float) scale);
}
static void swingFontScale(float scale) swing {
vm_generalMap_set('swingFontScale_value, scale);
Map swingFontScale_originals = cast vm_generalMap_get('swingFontScale_originals);
if (swingFontScale_originals == null) {
vm_generalMap_set('swingFontScale_originals, swingFontScale_originals = new HashMap);
for (Map.Entry entry : UIManager.getDefaults().entrySet()) {
O key = entry.getKey();
if (key.toString().toLowerCase().contains(".font")) {
O value = entry.getValue();
Font font = null;
if (swingFontScale_debug)
print("swingFontScale found value: " + key + " = " + value);
if (value instanceof UIDefaults.LazyValue) {
UIDefaults.LazyValue lazy = (UIDefaults.LazyValue) entry.getValue();
value = lazy.createValue(UIManager.getDefaults());
}
if (value instanceof Font) {
font = (Font) value;
swingFontScale_originals.put(key.toString(), font);
}
}
}
}
for (S key, Font font : swingFontScale_originals) {
Font font2 = font.deriveFont(Font.PLAIN, font.getSize()*scale);
if (swingFontScale_debug)
print("swingFontScale " + scale + ": Setting " + key + " = " + font2);
UIManager.put(key, font2);
}
//revalidateAllFrames();
}
static float swingFontScale() {
ret getSwingFontScale();
}