Closed brownts closed 3 years ago
Fixes #203.
Clear the state associated with the last time the live gutter annotation was updated when the entire gutter is cleared. This is needed to make sure the live gutter annotation will be repainted the next time the gutter is enabled.
Fixes #203.
Clear the state associated with the last time the live gutter annotation was updated when the entire gutter is cleared. This is needed to make sure the live gutter annotation will be repainted the next time the gutter is enabled.