When you have a bookmark, you can right-click the icon in the gutter, and the context menu says "remove bookmark". If you remove the bookmark from there, the context menu in that location reverts to "add bookmark". However, if you delete the bookmark by clicking the "x" in the sidebar next to the bookmark, the gutter icon disappears, but the right-click menu does not revert to "add bookmark". Instead it continues to say "remove bookmark"
Environment/version
Extension version:
VSCode version:
OS version:
Steps to reproduce
Create a bookmark
Use the "x" button in the side bar to delete the bookmark
right click that same line in the gutter
Instead of "add bookmark", the "remove bookmark" menu still shows
When you have a bookmark, you can right-click the icon in the gutter, and the context menu says "remove bookmark". If you remove the bookmark from there, the context menu in that location reverts to "add bookmark". However, if you delete the bookmark by clicking the "x" in the sidebar next to the bookmark, the gutter icon disappears, but the right-click menu does not revert to "add bookmark". Instead it continues to say "remove bookmark"
Environment/version
Steps to reproduce