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-24742 When execution point is highlighted using border style instead of color, an extra line is drawn lower than current line

Browse Source
This commit is contained in:
Egor.Ushakov
2014-11-07 16:59:21 +03:00
parent a7acca3b45
commit 0e7184601d
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/BorderEffect.java
+8 -3
View File
@@ -144,9 +144,14 @@ public class BorderEffect {
border.horizontalTo(editor.getMaxWidthInRange(startOffset, endOffset) - 1);
border.verticalRel(height - 1);
border.horizontalTo(endX);
border.verticalRel(editor.getLineHeight());
border.horizontalTo(0);
border.verticalRel(-height + 1);
if (endX > 0) {
border.verticalRel(editor.getLineHeight());
border.horizontalTo(0);
border.verticalRel(-height + 1);
}
else {
border.verticalTo(startY + editor.getLineHeight() - 1);
}
border.horizontalTo(startX);
border.verticalTo(startY);
}