use UIUtil.getHTMLEditorKit() as it's more HiDPI&darcula friendly
authorSergey Simonchik <sergey.simonchik@jetbrains.com>
Thu, 29 Sep 2016 14:07:26 +0000 (17:07 +0300)
committerSergey Simonchik <sergey.simonchik@jetbrains.com>
Thu, 29 Sep 2016 14:07:50 +0000 (17:07 +0300)
platform/platform-api/src/com/intellij/openapi/ui/Messages.java

index a88b4a422f59c7b99d8a24b242cce3fb98490803..48e3a167eb8d0114bb30045cf1b14a3ccafbf66a 100644 (file)
@@ -21,7 +21,6 @@ import com.intellij.openapi.application.ApplicationManager;
 import com.intellij.openapi.application.ModalityState;
 import com.intellij.openapi.diagnostic.Logger;
 import com.intellij.openapi.project.Project;
-import com.intellij.openapi.util.Computable;
 import com.intellij.openapi.util.Pair;
 import com.intellij.openapi.util.SystemInfo;
 import com.intellij.openapi.util.TextRange;
@@ -1568,11 +1567,10 @@ public class Messages {
     UIUtil.FontSize fixedFontSize = fontSize == null ? UIUtil.FontSize.NORMAL : fontSize;
     messageComponent.setFont(UIUtil.getLabelFont(fixedFontSize));
     if (BasicHTML.isHTMLString(message)) {
-      HTMLEditorKit editorKit = new HTMLEditorKit();
+      HTMLEditorKit editorKit = UIUtil.getHTMLEditorKit();
       Font font = UIUtil.getLabelFont(fixedFontSize);
       editorKit.getStyleSheet().addRule(UIUtil.displayPropertiesToCSS(font, UIUtil.getLabelForeground()));
       messageComponent.setEditorKit(editorKit);
-      messageComponent.setContentType(UIUtil.HTML_MIME);
     }
     messageComponent.setText(message);
     messageComponent.setEditable(false);