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.
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.