Bookmark signs disappear when the line it is placed on is deleted
chentoast opened this issue · 0 comments
chentoast commented
When deleting a line that contains a bookmark, the sign will be deleted, but the virtual text and the extmark will stay. We might have to periodically refresh signs for bookmarks (maybe on TextChanged?), but ideally there is a way that doesn't involve lots of redrawing.