MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-18 09:34:34 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-148086 Empty gutter in console became wider - increase gap to 1 px for console

Browse Source
This commit is contained in:
Egor.Ushakov
2015-11-19 12:02:28 +03:00
parent 5f9049f8aa
commit adbbf7d28e
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterComponentImpl.java
+6 -1
View File
@@ -1214,7 +1214,12 @@ class EditorGutterComponentImpl extends EditorGutterComponentEx implements Mouse
}
public int getLineNumberAreaOffset() {
return getLineNumberAreaWidth() == 0 && getAnnotationsAreaWidthEx() == 0 && getLineMarkerAreaWidth() == 0 ? 0 : GAP_BETWEEN_AREAS;
if (getLineNumberAreaWidth() == 0 && getAnnotationsAreaWidthEx() == 0 && getLineMarkerAreaWidth() == 0) {
return getFoldingAreaWidth() == 0 ? 0 : 1;
}
else {
return GAP_BETWEEN_AREAS;
}
}
@Override