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

IDEA-170099 [followup] let Swing text components dynamically scale HTML text on user scale factor change

Browse Source
This commit is contained in:
Anton Tarasov
2017-04-10 14:41:54 +03:00
parent 40ee28ddae
commit 343642204e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/src/com/intellij/util/ui/UIUtil.java
+1 -1
View File
@@ -2528,7 +2528,7 @@ public class UIUtil {
public JBHtmlEditorKit(boolean noGapsBetweenParagraphs) {
style.addStyleSheet(isUnderDarcula() ? (StyleSheet)UIManager.getDefaults().get("StyledEditorKit.JBDefaultStyle") : DEFAULT_HTML_KIT_CSS);
style.addRule("code { font-size: 90%; }"); // small by Swing's default, make it b/w small and medium
style.addRule("code { font-size: 100%; }"); // small by Swing's default
style.addRule("small { font-size: small; }"); // x-small by Swing's default
if (noGapsBetweenParagraphs) style.addRule("p { margin-top: 0; }");
}