IDEA-305229 Edit hidden tabs popup insets

GitOrigin-RevId: 715d7767d3e527c2ee52bf5cd4c7761634862f66
jjwwhmm · Feb 13, 2023 · 6b3ec38 · 6b3ec38
1 parent 67a7187
commit 6b3ec38
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/platform/platform-api/src/com/intellij/ui/tabs/impl/JBTabsImpl.java b/platform/platform-api/src/com/intellij/ui/tabs/impl/JBTabsImpl.java
@@ -1037,7 +1037,7 @@ protected JComponent createItemComponent() {
           component = new JPanel();
           BoxLayout layout = new BoxLayout(component, BoxLayout.X_AXIS);
           component.setLayout(layout);
-          component.setBorder(JBUI.Borders.empty(0, 17, 0, 4));
+          component.setBorder(JBUI.Borders.empty(0, 9, 0, 3));
 
           UISettings settings = UISettings.getInstance();
           if (!settings.getCloseTabButtonOnTheRight()) {
@@ -1063,8 +1063,9 @@ protected JComponent createItemComponent() {
 
           JComponent result = layoutComponent(component);
           if (result instanceof SelectablePanel selectablePanel) {
-            selectablePanel.setBorder(JBUI.Borders.empty(0, 4));
-            selectablePanel.setSelectionInsets(JBInsets.create(0, 4));
+            selectablePanel.setBorder(JBUI.Borders.empty(0, 5));
+            selectablePanel.setSelectionInsets(JBInsets.create(0, 5));
+            selectablePanel.setPreferredHeight(JBUI.scale(26));
           }
           return result;
         }