mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
ui: fix fonts in "Usages Detected" dialog under HiDPI Linux
This commit is contained in:
committed by
Aleksey Pivovarov
parent
f236ad7234
commit
90ab867bad
@@ -58,6 +58,7 @@ public class UnsafeUsagesDialog extends DialogWrapper {
|
||||
JPanel panel = new JPanel(new BorderLayout());
|
||||
myMessagePane = new JEditorPane(UIUtil.HTML_MIME, "");
|
||||
myMessagePane.setEditable(false);
|
||||
myMessagePane.setEditorKit(UIUtil.getHTMLEditorKit());
|
||||
JScrollPane scrollPane = ScrollPaneFactory.createScrollPane(myMessagePane);
|
||||
scrollPane.setPreferredSize(JBUI.size(500, 400));
|
||||
panel.add(new JLabel(RefactoringBundle.message("the.following.problems.were.found")), BorderLayout.NORTH);
|
||||
|
||||
Reference in New Issue
Block a user