MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

make default fonts twice bigger in case of HiDPI

Browse Source
This commit is contained in:
Konstantin Bulenkov
2014-12-08 14:51:10 +01:00
parent c963cb83cb
commit b09013eb38
1 changed files with 14 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.java
+14 -1
View File
@@ -51,6 +51,8 @@ import com.intellij.util.IJSwingUtilities;
import com.intellij.util.ObjectUtils;
import com.intellij.util.PlatformUtils;
import com.intellij.util.containers.ContainerUtil;
import com.intellij.util.ui.JBFont;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.UIUtil;
import org.jdom.Element;
import org.jetbrains.annotations.NonNls;
@@ -718,7 +720,18 @@ public final class LafManagerImpl extends LafManager implements ApplicationCompo
}
private void patchLafFonts(UIDefaults uiDefaults) {
if (UISettings.getInstance().OVERRIDE_NONIDEA_LAF_FONTS) {
if (JBUI.isHiDPI()) {
HashMap<Object, Font> newFonts = new HashMap<Object, Font>();
for (Object key : uiDefaults.keySet().toArray()) {
Object val = uiDefaults.get(key);
if (val instanceof Font) {
newFonts.put(key, JBFont.create((Font)val));
}
}
for (Map.Entry<Object, Font> entry : newFonts.entrySet()) {
uiDefaults.put(entry.getKey(), entry.getValue());
}
} else if (UISettings.getInstance().OVERRIDE_NONIDEA_LAF_FONTS) {
storeOriginalFontDefaults(uiDefaults);
initFontDefaults(uiDefaults, myUiSettings.FONT_FACE, myUiSettings.FONT_SIZE);
}