MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix navbar focus border

Browse Source
This commit is contained in:
Maxim Shafirov
2009-09-21 20:23:41 +04:00
parent d6dafd6517
commit 45114da79b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarPanel.java
+2 -2
View File
@@ -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();
}