mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-170099 [followup] let Swing text components dynamically scale HTML text on user scale factor change
This commit is contained in:
@@ -104,6 +104,9 @@ public class UIUtil {
|
||||
DEFAULT_HTML_KIT_CSS = kit.getStyleSheet();
|
||||
// .. erase global ref to this CSS so no one can alter it
|
||||
kit.setStyleSheet(null);
|
||||
|
||||
// Applied to all JLabel instances, including subclasses. Supported in JBSDK only.
|
||||
UIManager.getDefaults().put("javax.swing.JLabel.userStyleSheet", UIUtil.JBHtmlEditorKit.createStyleSheet());
|
||||
}
|
||||
|
||||
private static void blockATKWrapper() {
|
||||
|
||||
Reference in New Issue
Block a user