revert "hidpi: scale StyleSheet font sizes for better rendering of "font-size: medium...
authorSergey Simonchik <sergey.simonchik@jetbrains.com>
Fri, 7 Oct 2016 10:04:59 +0000 (13:04 +0300)
committerSergey Simonchik <sergey.simonchik@jetbrains.com>
Fri, 7 Oct 2016 10:05:52 +0000 (13:05 +0300)
platform/util/src/com/intellij/util/ui/UIUtil.java

index 4390e42ba52544379564e89aa2e3e7c50f17c711..93dad49bf6b52acad43b727cd56334d18a27d9a3 100644 (file)
@@ -54,7 +54,6 @@ import javax.swing.plaf.basic.BasicComboBoxUI;
 import javax.swing.plaf.basic.BasicRadioButtonUI;
 import javax.swing.plaf.basic.ComboPopup;
 import javax.swing.text.*;
-import javax.swing.text.html.HTMLDocument;
 import javax.swing.text.html.HTMLEditorKit;
 import javax.swing.text.html.StyleSheet;
 import javax.swing.undo.UndoManager;
@@ -2370,19 +2369,8 @@ public class UIUtil {
     final StyleSheet style = new StyleSheet();
     style.addStyleSheet(isUnderDarcula() ? (StyleSheet)UIManager.getDefaults().get("StyledEditorKit.JBDefaultStyle") : DEFAULT_HTML_KIT_CSS);
     style.addRule(customCss);
-    scaleStyleSheetFontSize(style, size);
 
     return new HTMLEditorKit() {
-
-      @Override
-      public Document createDefaultDocument() {
-        Document document = super.createDefaultDocument();
-        if (document instanceof HTMLDocument) {
-          scaleStyleSheetFontSize(((HTMLDocument)document).getStyleSheet(), size);
-        }
-        return document;
-      }
-
       @Override
       public StyleSheet getStyleSheet() {
         return style;
@@ -2390,14 +2378,6 @@ public class UIUtil {
     };
   }
 
-  private static void scaleStyleSheetFontSize(@Nullable StyleSheet styleSheet, int bodyFontSize) {
-    // In compliance with javax.swing.text.html.StyleSheet logic, where 14pt font size is specified in
-    // javax/swing/text/html/default.css and javax.swing.text.html.StyleSheet.sizeMapDefault[3].
-    if (styleSheet != null) {
-      styleSheet.addRule("BASE_SIZE " + bodyFontSize);
-    }
-  }
-
   public static void removeScrollBorder(final Component c) {
     for (JScrollPane scrollPane : uiTraverser(c).filter(JScrollPane.class)) {
       if (!uiParents(scrollPane, true)