Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Validate line numbers before jumping #338
Description of the Change
Only attempt to jump to a specific line number if the text after the colon is a valid line number. Otherwise, show an error if appropriate and just jump to the file but don't change the cursor position.
Line number validation and no more uncaught exceptions related to that.