Skip to content

Add optional row and col params to path in editor#762

Merged
vinc merged 2 commits intotrunkfrom
feature/editor-coords
Jul 20, 2025
Merged

Add optional row and col params to path in editor#762
vinc merged 2 commits intotrunkfrom
feature/editor-coords

Conversation

@vinc
Copy link
Owner

@vinc vinc commented Jul 16, 2025

We will now be able to open a file directly at the given coordinates with edit <path>:<row>:<col> following the convention set by the new error messages in #750, #751, and #761.

@vinc
Copy link
Owner Author

vinc commented Jul 16, 2025

The row and col params use 1-based indexing but the editor should not panic if one of them is zero.

@vinc vinc marked this pull request as ready for review July 20, 2025 09:11
@vinc vinc merged commit 6f567e4 into trunk Jul 20, 2025
1 check passed
@vinc vinc deleted the feature/editor-coords branch July 20, 2025 09:11
@vinc vinc mentioned this pull request Sep 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant