From cb62b0643e6cc46fa57756f45d31b35258596fe1 Mon Sep 17 00:00:00 2001
From: "Denis.Zhdanov" <Denis.Zhdanov@jetbrains.com>
Date: Thu, 26 Jul 2012 15:20:28 +0400
Subject: [PATCH] Add a border to the quick doc font size control

---
 .../codeInsight/documentation/DocumentationComponent.java        | 1 +
 1 file changed, 1 insertion(+)

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 ad93627383ed..60d6788c32e3 100644
--- a/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationComponent.java
+++ b/platform/lang-impl/src/com/intellij/codeInsight/documentation/DocumentationComponent.java
@@ -346,6 +346,7 @@ public class DocumentationComponent extends JPanel implements Disposable, DataPr
     myFontSizeSlider.setSnapToTicks(true);
     UIUtil.setSliderIsFilled(myFontSizeSlider, true);
     result.add(myFontSizeSlider);
+    result.setBorder(BorderFactory.createLineBorder(UIUtil.getBorderColor(), 1));
 
     myFontSizeSlider.addChangeListener(new ChangeListener() {
       @Override