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-134480 Make one-row IntelliJ tabs shorter if there is no space in tabs container

Browse Source 
Iteration 1, tuning
This commit is contained in:
Vassiliy.Kudryashov
2014-12-18 13:50:05 +03:00
parent ad501b7fb4
commit 39ebe0682e
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorWindow.java
+4 -4
View 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());