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

ui: use properly configured UIUtil.getHTMLEditorKit()

Browse Source
This commit is contained in:
Sergey Simonchik
2016-09-28 17:05:10 +03:00
parent 4c4e6e68d3
commit bb96f5b0be
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/util/ui/SwingHelper.java
+1 -1
View File
@@ -620,7 +620,7 @@ public class SwingHelper {
textPane = new JEditorPane();
}
textPane.setFont(font != null ? font : UIUtil.getLabelFont());
textPane.setContentType(UIUtil.HTML_MIME);
textPane.setEditorKit(UIUtil.getHTMLEditorKit());
textPane.setEditable(false);
if (background != null) {
textPane.setBackground(background);