From 45114da79b447f4f6f2b85ff1110555f72961f41 Mon Sep 17 00:00:00 2001
From: Maxim Shafirov <max@jetbrains.com>
Date: Mon, 21 Sep 2009 20:23:41 +0400
Subject: [PATCH] Fix navbar focus border

---
 .../src/com/intellij/ide/navigationToolbar/NavBarPanel.java   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarPanel.java b/platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarPanel.java
index 81873f3729b4..29eda0945fdc 100644
--- a/platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarPanel.java
+++ b/platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarPanel.java
@@ -750,7 +750,7 @@ public class NavBarPanel extends JPanel implements DataProvider, PopupOwner {
       }
 
       public Insets getBorderInsets(final Component c) {
-        return new Insets(4, 4, 4, 4);
+        return new Insets(3, 4, 3, 4);
       }
 
       public boolean isBorderOpaque() {
@@ -853,7 +853,7 @@ public class NavBarPanel extends JPanel implements DataProvider, PopupOwner {
       myIcon = icon;
       myAttributes = textAttributes;
 
-      setIpad(new Insets(0, 2, 0, 2));
+      setIpad(new Insets(1, 2, 1, 2));
       
       update();
     }