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.

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

highlighting lines with error with squigglies #104

Open
rlisahuang opened this issue Aug 15, 2022 · 1 comment
Open

highlighting lines with error with squigglies #104

rlisahuang opened this issue Aug 15, 2022 · 1 comment
Assignees
@pelikhan
Labels
enhancement New feature or request
Milestone
workshop

Comments

@rlisahuang
Copy link
Contributor

rlisahuang commented Aug 15, 2022 •
edited
Loading

References:
@rlisahuang rlisahuang added the enhancement New feature or request label Aug 15, 2022
@rlisahuang rlisahuang self-assigned this Aug 15, 2022
@rlisahuang rlisahuang added this to the workshop milestone Aug 22, 2022
@rlisahuang
Copy link
Contributor Author

With the monaco editor, JS syntax errors are automatically handled, but not the SMTLIB input because of the lack of LISP highlighting. There could be some work done in this space.

@rlisahuang rlisahuang assigned pelikhan and unassigned rlisahuang Sep 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@pelikhan pelikhan

Labels
enhancement New feature or request
Projects
None yet
Milestone
workshop
Development

No branches or pull requests
2 participants
@pelikhan @rlisahuang