Skip to content
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.

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

Line numbers in errors but not editor #441

Open
jaredkrinke opened this issue Aug 3, 2023 · 3 comments
Open

Line numbers in errors but not editor #441

jaredkrinke opened this issue Aug 3, 2023 · 3 comments
Milestone

Comments

@jaredkrinke
Copy link
Owner

Switching to Monaco could fix this

@jaredkrinke jaredkrinke modified the milestone: Update 8 Aug 10, 2023
@jaredkrinke jaredkrinke added this to the Wishlist milestone Dec 30, 2023
@jaredkrinke
Copy link
Owner Author

@jaredkrinke jaredkrinke modified the milestones: Wishlist, Update 10 Jan 12, 2024
@jaredkrinke
Copy link
Owner Author

Almost got this working, but the textarea doesn't resize when exiting debug mode, and it sometimes doesn't seem to scroll to the active line at first.

The issue is that textareas just don't play nicely. A content editable div might work better.

Regardless, now that compilation errors are always selected, I think this it not important.

jaredkrinke added a commit that referenced this issue Jan 24, 2024
@jaredkrinke jaredkrinke modified the milestones: Wishlist, Update 10 Nov 3, 2024
@jaredkrinke
Copy link
Owner Author

Feedback indicates that line numbers are important.

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

No branches or pull requests

1 participant