LegacyConsoleArchive/jpexs-decompiler
1
0
Fork 0
mirror of https://git.huckle.dev/Huckles-Minecraft-Archive/jpexs-decompiler.git synced 2026-09-26 00:10:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

window state icon localization fixed (minimize, maximize, etc..), caching font policy

Browse Source
This commit is contained in:
Honfika
2014-01-18 11:05:27 +01:00
parent a42bdfc0f4
commit 088c8b8f96
3 changed files with 87 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files
trunk/src/com/jpexs/decompiler/flash/gui/View.java
+66 -37
View File
@@ -93,45 +93,74 @@ public class View {
//Restore default font for chinese characters
SubstanceLookAndFeel.setFontPolicy(new FontPolicy() {
private final FontSet fontSet = new FontSet() {
private FontUIResource controlFont;
private FontUIResource menuFont;
private FontUIResource titleFont;
private FontUIResource windowTitleFont;
private FontUIResource smallFont;
private FontUIResource messageFont;
@Override
public FontUIResource getControlFont() {
if (controlFont == null) {
FontUIResource f = fs.getControlFont();
controlFont = new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
return controlFont;
}
@Override
public FontUIResource getMenuFont() {
if (menuFont == null) {
FontUIResource f = fs.getMenuFont();
menuFont = new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
return menuFont;
}
@Override
public FontUIResource getTitleFont() {
if (titleFont == null) {
FontUIResource f = fs.getTitleFont();
titleFont = new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
return titleFont;
}
@Override
public FontUIResource getWindowTitleFont() {
if (windowTitleFont == null) {
FontUIResource f = fs.getWindowTitleFont();
windowTitleFont = new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
return windowTitleFont;
}
@Override
public FontUIResource getSmallFont() {
if (smallFont == null) {
FontUIResource f = fs.getSmallFont();
smallFont = new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
return smallFont;
}
@Override
public FontUIResource getMessageFont() {
if (messageFont == null) {
FontUIResource f = fs.getMessageFont();
messageFont = new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
return messageFont;
}
};
@Override
public FontSet getFontSet(String string, UIDefaults uid) {
return new FontSet() {
@Override
public FontUIResource getControlFont() {
FontUIResource f = fs.getControlFont();
return new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
@Override
public FontUIResource getMenuFont() {
FontUIResource f = fs.getMenuFont();
return new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
@Override
public FontUIResource getTitleFont() {
FontUIResource f = fs.getTitleFont();
return new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
@Override
public FontUIResource getWindowTitleFont() {
FontUIResource f = fs.getWindowTitleFont();
return new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
@Override
public FontUIResource getSmallFont() {
FontUIResource f = fs.getSmallFont();
return new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
@Override
public FontUIResource getMessageFont() {
FontUIResource f = fs.getMessageFont();
return new FontUIResource(defaultFont.getName(), f.getStyle(), f.getSize());
}
};
return fontSet;
}
});
} catch (UnsupportedLookAndFeelException ex) {