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.