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 extra border

Browse Source
This commit is contained in:
Gregory.Shrago
2014-03-18 21:51:45 +04:00
parent b5ed6650b4
commit f2c905de9a
1 changed files with 19 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarRootPaneExtension.java
+19 -13
View File
@@ -196,6 +196,11 @@ public class NavBarRootPaneExtension extends IdeRootPaneNorthExtension {
}
private JComponent buildNavBarPanel() {
myNavigationBar = new NavBarPanel(myProject, true);
myWrapperPanel.putClientProperty("NavBarPanel", myNavigationBar);
myNavigationBar.getModel().setFixedComponent(true);
myScrollPane = ScrollPaneFactory.createScrollPane(myNavigationBar);
JPanel panel = new JPanel(new BorderLayout()) {
@Override
@@ -232,22 +237,23 @@ public class NavBarRootPaneExtension extends IdeRootPaneNorthExtension {
navBar.setBounds(x, (r.height - preferredSize.height) / 2,
r.width - insets.left - insets.right, preferredSize.height);
}
@Override
public void updateUI() {
super.updateUI();
myScrollPane.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_NEVER);
myScrollPane.setHorizontalScrollBar(null);
myScrollPane.setBorder(new NavBarBorder(true, 0));
myScrollPane.setOpaque(false);
myScrollPane.getViewport().setOpaque(false);
myScrollPane.setViewportBorder(null);
setOpaque(true);
myNavigationBar.setBorder(null);
}
};
myNavigationBar = new NavBarPanel(myProject, true);
myWrapperPanel.putClientProperty("NavBarPanel", myNavigationBar);
myNavigationBar.getModel().setFixedComponent(true);
myScrollPane = ScrollPaneFactory.createScrollPane(myNavigationBar);
myScrollPane.setVerticalScrollBarPolicy(ScrollPaneConstants.VERTICAL_SCROLLBAR_NEVER);
myScrollPane.setHorizontalScrollBar(null);
myScrollPane.setBorder(new NavBarBorder(true, 0));
myScrollPane.setOpaque(false);
myScrollPane.getViewport().setOpaque(false);
panel.setOpaque(true);
myNavigationBar.setBorder(null);
panel.add(myScrollPane, BorderLayout.CENTER);
panel.updateUI();
return panel;
}