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 find usages selection color change while navbar is visible

Browse Source
This commit is contained in:
Alexey Pegov
2011-12-02 13:07:40 +04:00
parent 5655f9e14e
commit b802522280
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarPanel.java
+1 -1
View File
@@ -256,7 +256,7 @@ public class NavBarPanel extends JPanel implements DataProvider, PopupOwner, Dis
item.update();
}
if (UISettings.getInstance().SHOW_NAVIGATION_BAR) {
JComponent parent = (JComponent)getParent().getParent().getParent().getParent().getParent().getParent();
JComponent parent = (JComponent)getParent().getParent().getParent().getParent().getParent();
parent.revalidate();
parent.repaint();
}