A bookmark once set cannot be cleared
Original Reporter info from Mantis: Matthijs
-
Reporter name: Matthijs Willemstein
Original Reporter info from Mantis: Matthijs
- Reporter name: Matthijs Willemstein
Description:
There is no option to clear (delete) a Bookmark. You can set it and you can reset it at an other place in your sources, but you cannot delete them.
Mantis conversion info:
- Mantis ID: 1767
- OS: Linux
- OS Build: FC4
- Build: 8713M
- Platform: I386
- Version: 0.9.13 (SVN)
- Fixed in revision: 17601 (#40d1b668)
- Target version: 1.0.0
- LazTarget: 0.9.28