Bo Peng wrote: > First, "bookmark-goto 0" is wrong. Bookmark 0 is for internal use only > and should not be bounded to any shortcut.
As I said, it's used if you back from a label to its reference. We have the shortcut Ctrl-< for this (and C-> for the other way round), so it's not wrong. But I see that you patch did not touch this, so it looks good to me. Jürgen