From 39ebe0682e389e21fd6c76e9e980f490bff07849 Mon Sep 17 00:00:00 2001
From: "Vassiliy.Kudryashov" <Vassiliy.Kudryashov@jetbrains.com>
Date: Thu, 18 Dec 2014 13:46:24 +0300
Subject: [PATCH] IDEA-134480 Make one-row IntelliJ tabs shorter if there is no
 space in tabs container Iteration 1, tuning

---
 .../intellij/openapi/fileEditor/impl/EditorWindow.java    | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java
index c46c39b724e2..6bdb103ce417 100644
--- a/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java
+++ b/platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java
@@ -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());
-- 
2.32.0