> home > Commands

goto_line

January 19th 2020
Queries the user for a number, and jumps the cursor to the corresponding line.