Shift+F2: jump to previous marker
Ctrl+1 (2, 3,...) : jump to first (second, third,...) marker in the source code
This may be also handled by a tool, but then it would have to be added for each shortcut

+1Michael Vogel wrote: Fri Jun 06, 2025 8:06 am I'd like to have additional functions for the markers:
Shift+F2: jump to previous marker
Ctrl+1 (2, 3,...) : jump to first (second, third,...) marker in the source code
This may be also handled by a tool, but then it would have to be added for each shortcut![]()