New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Jump to line feature #1832

Open

snoglobe opened this issue Jun 24, 2024 · 1 comment · May be fixed by #2390

Assignees

Labels

feature request high priority

Collaborator

snoglobe commented Jun 24, 2024

Allow the user to jump to the line of an error in the editor

snoglobe added feature request high priority labels

snoglobe self-assigned this

snoglobe mentioned this issue

in errors: have line numbers which are highlighted #1651

Closed

Contributor

grymmy commented Jun 27, 2024

I approve of this feature.

DevIos01 assigned DevIos01 and unassigned snoglobe

DevIos01 linked a pull request

that will close this issue

Worked on #1745 and #1830 and #1832 #2390

Draft

DevIos01 linked a pull request

that will close this issue

Worked on #1745 and #1830 and #1832 #2390

Draft

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment