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

Editor Tabs: move 'modified' asterisk marker to the left

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2019-03-25 22:45:36 +03:00
parent c05ac82855
commit d0564b4883
1 changed files with 4 additions and 8 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 -8
View File
@@ -34,10 +34,7 @@ import com.intellij.util.IconUtil;
import com.intellij.util.ObjectUtils;
import com.intellij.util.containers.ContainerUtil;
import com.intellij.util.containers.Stack;
import com.intellij.util.ui.EmptyIcon;
import com.intellij.util.ui.JBRectangle;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.UIUtil;
import com.intellij.util.ui.*;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
@@ -916,10 +913,9 @@ public class EditorWindow {
int i = 0;
final LayeredIcon result = new LayeredIcon(count);
int xShift = !settings.getHideTabsIfNeed() ? 4 : 0;
result.setIcon(baseIcon, i++, xShift, 0);
if (pinIcon != null) result.setIcon(pinIcon, i++, xShift, 0);
if (modifiedIcon != null) result.setIcon(modifiedIcon, i++);
result.setIcon(baseIcon, i++);
if (pinIcon != null) result.setIcon(pinIcon, i++);
if (modifiedIcon != null) result.setIcon(modifiedIcon, i++, -modifiedIcon.getIconWidth(), 0);
return JBUI.scale(result);
}