From b632a7fb2754d64741e998863fef5d76fcdb2cc8 Mon Sep 17 00:00:00 2001 From: Sergey Simonchik Date: Tue, 1 Mar 2016 18:24:48 +0300 Subject: [PATCH] quick doc: scale font size for HiDPI displays --- .../codeInsight/documentation/DocumentationComponent.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationComponent.java b/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationComponent.java index 8139591df006..ca9c21e1c952 100644 --- a/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationComponent.java +++ b/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationComponent.java @@ -59,6 +59,7 @@ import com.intellij.util.Consumer; import com.intellij.util.containers.HashMap; import com.intellij.util.ui.GraphicsUtil; import com.intellij.util.ui.JBDimension; +import com.intellij.util.ui.JBUI; import com.intellij.util.ui.UIUtil; import org.jetbrains.annotations.NonNls; import org.jetbrains.annotations.NotNull; @@ -626,7 +627,7 @@ public class DocumentationComponent extends JPanel implements Disposable, DataPr EditorColorsManager colorsManager = EditorColorsManager.getInstance(); EditorColorsScheme scheme = colorsManager.getGlobalScheme(); - StyleConstants.setFontSize(myFontSizeStyle, scheme.getQuickDocFontSize().getSize()); + StyleConstants.setFontSize(myFontSizeStyle, JBUI.scale(scheme.getQuickDocFontSize().getSize())); if (Registry.is("documentation.component.editor.font")) { StyleConstants.setFontFamily(myFontSizeStyle, scheme.getEditorFontName()); }