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

Browse Source
This commit is contained in:
Maxim Shafirov
2010-10-06 21:16:28 +04:00
parent 9668ecf3a7
commit a767464f47
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/NavBarRootPaneExtension.java
+1 -1
View File
@@ -60,6 +60,7 @@ public class NavBarRootPaneExtension extends IdeRootPaneNorthExtension {
if (myWrapperPanel == null) {
myWrapperPanel = new JPanel(new BorderLayout());
myWrapperPanel.add(buildNavBarPanel(), BorderLayout.CENTER);
myWrapperPanel.putClientProperty("NavBarPanel", myNavigationBar);
toggleRunPanel(!UISettings.getInstance().SHOW_MAIN_TOOLBAR);
}
@@ -122,7 +123,6 @@ public class NavBarRootPaneExtension extends IdeRootPaneNorthExtension {
});
result.add(closeLabel, BorderLayout.EAST);
result.putClientProperty("NavBarPanel", myNavigationBar);
myNavigationBar.installBorder(0, true);
result.setBorder(myNavigationBar.getBorder());
myNavigationBar.setBorder(null);