Remove Markers just removes any markers, this can be also markers for search highlights and maybe more.
It is not intended that this option also clears the bookmark list.

Could you provide more details for the second problem? When exactly does it happen, steps to reproduce?


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