>
home
>
Commands
goto_line
September 8th 2024
Queries the user for a number, and jumps the cursor to the corresponding line.