From 343642204e9f29fd34c59aec8cddc54d1aa9b8eb Mon Sep 17 00:00:00 2001 From: Anton Tarasov Date: Mon, 10 Apr 2017 14:40:17 +0300 Subject: [PATCH] IDEA-170099 [followup] let Swing text components dynamically scale HTML text on user scale factor change --- platform/util/src/com/intellij/util/ui/UIUtil.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/util/src/com/intellij/util/ui/UIUtil.java b/platform/util/src/com/intellij/util/ui/UIUtil.java index cc5676f290c8..100442ac3751 100644 --- a/platform/util/src/com/intellij/util/ui/UIUtil.java +++ b/platform/util/src/com/intellij/util/ui/UIUtil.java @@ -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; }"); }