From a3ac0e0532db4797c014bf8857a8dedf0ba2c40c Mon Sep 17 00:00:00 2001 From: Anton Tarasov Date: Mon, 17 Apr 2017 13:54:21 +0300 Subject: [PATCH] Use UIUtil.getHTMLEditorKit() for correct font size scaling See IDEA-170099 --- .../src/com/intellij/ide/plugins/PluginManagerMain.java | 2 +- .../openapi/updateSettings/impl/DetectedPluginsPanel.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java index f7f2cf738926..370998bf83b3 100644 --- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java +++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java @@ -139,7 +139,7 @@ public abstract class PluginManagerMain implements Disposable { protected void init() { GuiUtils.replaceJSplitPaneWithIDEASplitter(main, true); - HTMLEditorKit kit = new HTMLEditorKit(); + HTMLEditorKit kit = UIUtil.getHTMLEditorKit(); StyleSheet sheet = kit.getStyleSheet(); sheet.addRule("ul {margin-left: 16px}"); // list-style-type: none; myDescriptionTextArea.setEditorKit(kit); diff --git a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/DetectedPluginsPanel.java b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/DetectedPluginsPanel.java index 8196378d1f9e..edc6925e687c 100644 --- a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/DetectedPluginsPanel.java +++ b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/DetectedPluginsPanel.java @@ -96,7 +96,7 @@ public class DetectedPluginsPanel extends OrderPanel { setCheckboxColumnName(""); myDescriptionPanel.setPreferredSize(new Dimension(400, -1)); myDescriptionPanel.setEditable(false); - myDescriptionPanel.setContentType(UIUtil.HTML_MIME); + myDescriptionPanel.setEditorKit(UIUtil.getHTMLEditorKit()); myDescriptionPanel.addHyperlinkListener(new PluginManagerMain.MyHyperlinkListener()); removeAll();