feature requests: more bookmarks
Original Reporter info from Mantis: linuxfan
-
Reporter name:
Original Reporter info from Mantis: linuxfan
- Reporter name:
Description:
thought about the whole thing of bookmarks. I have a proposal that I could try to implement if accepted. The ratio is that there are two kinds of bookmarks: "precise" ones you set, probably in a uniform manner (for example, marker 0 always used to jump to uses clause), and unprecise/free ones you set without worrying about their number. Those two kinds are both good, the former to jump to a well known place, the latter to browse quickly in (many?) points of interest. In the forum I've also seen a user complaining that 10 bookmarks are too little.
The proposal is this. Have the following commands:
Set bookmark 0..9
Jump to bookmark 0..9
Toggle bookmark
Goto next bookmark
Goto prev bookmark
Clear bookmarks of current file
Clear bookmarks in all files
In other words, "Set free bookmark" and "Toggle bookmark 0..9" are gone, merged in the single command "Toggle bookmark". This command behaves differently than before: if a bookmark is in place, delete it; otherwise set a bookmark with number >9. I think this paradigm could keep happy anyone.
Additional information:
This issue was originally added as note ~92301 in issue #30078 (closed)
See also note ~92315 by Juha
Mantis conversion info:
- Mantis ID: 30106
- OS: -
- OS Build: -
- Platform: -
- Version: 1.6
- Monitored by: » @FTurtle (FTurtle)