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

Revert "EditorGutterComponentImpl: fix calculation of the space needed for foldings"

Browse Source 
This reverts commit 82efc51507.
This was not a misprint.
Actually, this place is reserved for change markers.
If folding outline is shown, the place will be reserved when painting the outline, otherwise we need to reserve the place here.
This commit is contained in:
Kirill Likhodedov
2012-07-18 14:32:00 +04:00
parent f9aa43eca1
commit 98f41bc396
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorGutterComponentImpl.java
+3 -2
View File
@@ -295,7 +295,7 @@ class EditorGutterComponentImpl extends EditorGutterComponentEx implements Mouse
doPaintFoldingTree((Graphics2D)g, clip, firstVisibleOffset, lastVisibleOffset);
}
else {
UIUtil.drawVDottedLine((Graphics2D)g, clip.x + clip.width - 1, clip.y, clip.y + clip.height, null, getOutlineColor(false));
UIUtil.drawVDottedLine((Graphics2D)g, clip.x + clip.width -1, clip.y, clip.y + clip.height, null, getOutlineColor(false));
}
}
@@ -561,7 +561,8 @@ class EditorGutterComponentImpl extends EditorGutterComponentEx implements Mouse
});
myLineMarkerAreaWidth = myIconsAreaWidth + FREE_PAINTERS_AREA_WIDTH +
(isFoldingOutlineShown() ? getFoldingAnchorWidth() / 2 : 0);
// if folding outline is shown, there will be enough place for change markers, otherwise add place for it.
(isFoldingOutlineShown() ? 0 : getFoldingAnchorWidth() / 2);
}
private void paintGutterRenderers(final Graphics g, int firstVisibleOffset, int lastVisibleOffset) {