[ jEdit-users ] main marker with quick shortcut

[Jarek C. <jar...@po...>]

When I edit a file, I like to have a main marker in it. The place I 
always come back to. Besides the main marker I mark some important 
places with other markers.

For the other markers I use jedit core markers, it's ok. The main marker 
I could mark with a shortcut, like "0".

Problem 1. To go to main marker I have to type C+M 0, to mark the main 
marker CS+M 0. That's one click too much.
Problem 2. If I set marker 0 in a new place, the old place still holds 
the marker (without shortcut)

I would like to have shortcuts for my marker 0. Set it with CS+0 
(clearing other 0 marker), go to it with C+0.

I post it to "users" in case I (a new user) just could find the solution 
which already exists. If it does not exist, what do you think about 
incorporating such a functionality into jedit? We would need just 2 new 
commands:
1. Toggle Marker 0
2. Goto Marker 0

Those 2 new commands are really not a new functionality, just new 
shortcut commands.

My previous editor had 10 markers with direct shortcuts C+[0-9]. Maybe 
you like this idea too?

And how about Problem 1? To leave the current functionality we would 
need a new setting (where?) "Clear the previous shortcut marker".

I could make a patch for it if we find an acceptable solution.

Jarek