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-193051 New SE: Correct the size and indents for buttons

Browse Source
This commit is contained in:
Mikhail Sokolov
2018-07-06 17:10:40 +03:00
parent db88379110
commit 8ab0fb6a74
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/actions/searcheverywhere/SearchEverywhereUI.java
+3 -1
View File
@@ -374,15 +374,17 @@ public class SearchEverywhereUI extends BorderLayoutPanel implements Disposable,
res.setOpaque(false);
res.add(myNonProjectCB);
res.add(Box.createHorizontalStrut(JBUI.scale(19)));
DefaultActionGroup actionGroup = new DefaultActionGroup();
actionGroup.addAction(new ShowInFindToolWindowAction());
actionGroup.addAction(new ShowFilterAction());
ActionToolbar toolbar = ActionManager.getInstance().createActionToolbar("search.everywhere.toolbar", actionGroup, true);
toolbar.setLayoutPolicy(ActionToolbar.NOWRAP_LAYOUT_POLICY);
toolbar.updateActionsImmediately();
JComponent toolbarComponent = toolbar.getComponent();
toolbarComponent.setOpaque(false);
toolbarComponent.setBorder(JBUI.Borders.empty(2, 18, 2, 9));
res.add(toolbarComponent);
return res;
}