IDEA-134480 Make one-row IntelliJ tabs shorter if there is no space in tabs container
[idea/community.git] / platform / platform-impl / src / com / intellij / openapi / fileEditor / impl / EditorWindow.java
index c46c39b724e2e83bb2a9dd5f78f3562e1c46ba72..6bdb103ce4172f0e1a06a8524a9943da9e48fa7d 100644 (file)
@@ -78,9 +78,9 @@ public class EditorWindow {
       GraphicsConfig config = GraphicsUtil.setupAAPainting(g);
       Font oldFont = g.getFont();
       try {
-        g.setFont(new Font("Monospaced", Font.BOLD, 12));
+        g.setFont(UIUtil.getLabelFont());
         g.setColor(JBColor.foreground());
-        g.drawString("*", 0, 8);
+        g.drawString("*", 0, 10);
       } finally {
         config.restore();
         g.setFont(oldFont);
@@ -89,12 +89,12 @@ public class EditorWindow {
 
     @Override
     public int getIconWidth() {
-      return 8;
+      return 9;
     }
 
     @Override
     public int getIconHeight() {
-      return 8;
+      return 9;
     }
   } : AllIcons.General.Modified;
   private static final Icon GAP_ICON = new EmptyIcon(MODIFIED_ICON.getIconWidth(), MODIFIED_ICON.getIconHeight());