mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
lst: erase dirty flag after full refresh
This commit is contained in:
@@ -653,7 +653,7 @@ private class LineTracker(private val handler: Handler,
|
||||
handler.onRangesAdded(newBlocks)
|
||||
|
||||
blocks = newBlocks
|
||||
if (dirty) isDirty = true
|
||||
isDirty = dirty
|
||||
|
||||
handler.afterExplicitChange()
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user