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

Incorrect close button position (#IDEA-192960)

Browse Source
This commit is contained in:
graann
2018-06-18 13:53:04 +03:00
parent 6c15b2997c
commit 3a4029f8ee
1 changed files with 1 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/wm/impl/content/ContentTabLabel.java
+1 -36
View File
@@ -269,7 +269,7 @@ class ContentTabLabel extends BaseLabel {
}
if (map.get(true) != null) {
right = ICONS_GAP + 4;
right = ICONS_GAP + JBUI.scale(4);
for (AdditionalIcon icon : map.get(true)) {
icon.setX(iconWidth + size.width + ICONS_GAP - right);
@@ -283,41 +283,6 @@ class ContentTabLabel extends BaseLabel {
return new Dimension(iconWidth + size.width, size.height);
}
private int updateAndGetInsetsWidth() {
if(myAdditionalIcons == null) return 0;
Map<Boolean, List<AdditionalIcon>> map =
myAdditionalIcons.stream().filter(icon -> icon.getAvailable()).collect(Collectors.groupingBy(icon -> icon.getAfterText()));
int right = DEFAULT_HORIZONTAL_INSET;
int left = DEFAULT_HORIZONTAL_INSET;
int iconWidth = 0;
if (map.get(false) != null) {
iconWidth = ICONS_GAP;
for (AdditionalIcon icon : map.get(false)) {
iconWidth += icon.getIconWidth() + ICONS_GAP;
}
left = iconWidth;
iconWidth = 0;
}
if (map.get(true) != null) {
right = ICONS_GAP + JBUI.scale(4);
for (AdditionalIcon icon : map.get(true)) {
iconWidth += icon.getIconWidth() + ICONS_GAP;
}
}
setBorder(JBUI.Borders.empty(0, left, 0, right));
return iconWidth + right + left;
}
@Override
protected boolean allowEngravement() {
return isSelected() || (myUi != null && myUi.myWindow.isActive());