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

IDEA-93027 Navbar is rendered incorrectly on the floating editor

Browse Source 
(cherry picked from commit a4d68c5c3aaa920aa5213ad38827fc8219733646)
This commit is contained in:
Konstantin Bulenkov
2013-04-02 13:54:54 +04:00
parent ffbabc810f
commit bb3d6efeff
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/navigationToolbar/NavBarRootPaneExtension.java
+7 -3
View File
@@ -34,6 +34,7 @@ import com.intellij.openapi.util.Ref;
import com.intellij.openapi.wm.IdeRootPaneNorthExtension;
import com.intellij.openapi.wm.impl.IdeFrameImpl;
import com.intellij.ui.ScrollPaneFactory;
import com.intellij.util.ui.UIUtil;
import org.jetbrains.annotations.NonNls;
import org.jetbrains.annotations.Nullable;
@@ -111,7 +112,7 @@ public class NavBarRootPaneExtension extends IdeRootPaneNorthExtension {
return myWrapperPanel;
}
public static class NavBarWrapperPanel extends JPanel {
public NavBarWrapperPanel(LayoutManager layout) {
super(layout);
@@ -243,9 +244,12 @@ public class NavBarRootPaneExtension extends IdeRootPaneNorthExtension {
Graphics2D g2d = (Graphics2D) g.create();
g2d.translate(r.x, r.y);
Rectangle rectangle =
new Rectangle(0, 0, r.width + insets.left + insets.right, r.height + insets.top + insets.bottom);
Rectangle rectangle = new Rectangle(0, 0, r.width + insets.left + insets.right, r.height + insets.top + insets.bottom);
NavBarUIManager.getUI().doPaintNavBarPanel(g2d, rectangle, isMainToolbarVisible(), isUndocked());
if (UIUtil.isUnderAquaLookAndFeel() && isUndocked()) {
Rectangle bounds = getParent().getBounds();
NavBarUIManager.getUI().doPaintWrapperPanel(g2d, bounds, false);
}
g2d.dispose();
}