mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 09:03:31 +07:00
(no message)
This commit is contained in:
@@ -173,6 +173,9 @@ public class EditorMarkupModelImpl extends MarkupModelImpl implements EditorMark
|
||||
if (i != 0 && mySpots.get(i-1).yEnd < yStartPosition) {
|
||||
mySpots.get(i-1).drawBottomBorder = true;
|
||||
}
|
||||
if (i == mySpots.size()-1) {
|
||||
markSpot.drawBottomBorder = true;
|
||||
}
|
||||
|
||||
prevEndPosition = yEndPosition;
|
||||
prevIsThin = mark.isThinErrorStripeMark();
|
||||
|
||||
Reference in New Issue
Block a user