mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
fix painting of folded regions
This commit is contained in:
@@ -735,7 +735,8 @@ class EditorPainter {
|
||||
}
|
||||
else {
|
||||
float xNew = fragment.getEndX();
|
||||
painter.paint(g, fragment, 0, fragment.getEndOffset() - fragment.getStartOffset(), getFoldRegionAttributes(foldRegion), x, xNew, y);
|
||||
painter.paint(g, fragment, 0, fragment.getEndVisualColumn() - fragment.getStartVisualColumn(), getFoldRegionAttributes(foldRegion),
|
||||
x, xNew, y);
|
||||
x = xNew;
|
||||
prevEndOffset = -1;
|
||||
it = null;
|
||||
|
||||
Reference in New Issue
Block a user