mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-301412 Extra gaps near Project widget and 'Settings' button in full menu view
GitOrigin-RevId: a763b84fe33a2eb04df4716fa0afe8337f0cd6ab
This commit is contained in:
committed by
intellij-monorepo-bot
parent
2779833900
commit
0484ec125c
@@ -249,7 +249,7 @@ public class IdeRootPane extends JRootPane implements UISettingsListener {
|
||||
ToolbarHolder delegate = getToolbarHolderDelegate();
|
||||
if (delegate == null && ExperimentalUI.isNewUI()) {
|
||||
MainToolbar toolbar = new MainToolbar();
|
||||
toolbar.setBorder(JBUI.Borders.empty(0, 10));
|
||||
toolbar.setBorder(JBUI.Borders.empty());
|
||||
|
||||
removeToolbar();
|
||||
myToolbar = toolbar;
|
||||
@@ -351,7 +351,7 @@ public class IdeRootPane extends JRootPane implements UISettingsListener {
|
||||
IdeFrame frame = ComponentUtil.getParentOfType(IdeFrameImpl.class, this);
|
||||
MainToolbar toolbar = new MainToolbar();
|
||||
toolbar.init(frame == null ? null : frame.getProject());
|
||||
toolbar.setBorder(JBUI.Borders.empty(0, 10));
|
||||
toolbar.setBorder(JBUI.Borders.empty());
|
||||
return toolbar;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user