When clearing the bookmarks using the Documents/Remove Markers option the actual bookmarks are cleared but the sidebar list is not. Also sometimes the same bookmark gets listed multiple times in the sidebar list.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.