Textual description (and translations too perhaps) of editor bookmarks could be more coherent
Original Reporter info from Mantis: linuxfan
-
Reporter name:
Original Reporter info from Mantis: linuxfan
- Reporter name:
Description:
The IDE has numerous functions related to bookmarks in code editor (set, toggle, jump...). The textual description contains "Bookmark" for some of the functions (set and jump), and a different word "Marker" for other ones (toggle).
It could be not very important but, going to options/keyboard mapping, and filtering for "bookmark", the toggle functions do not show up. This leaded me to think that there was no way to delete a single bookmark.
Steps to reproduce:
In Lazarus IDE, go to menu item Tools/Options then click Key Mapping, and type "bookmark" in the filter field at the top. Functions to toggle bookmarks will not show up.
Mantis conversion info:
- Mantis ID: 30078
- Version: 1.6
- Fixed in version: 1.7 (SVN)
- Target version: 1.8