Skip to content
New issue

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

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

Already on GitHub? # to your account

Nicer code editor in the playground #358

Closed
torhovland opened this issue Mar 17, 2023 · 0 comments · Fixed by #498
Closed

Nicer code editor in the playground #358

torhovland opened this issue Mar 17, 2023 · 0 comments · Fixed by #498
Assignees
Labels

Comments

@torhovland
Copy link
Member

torhovland commented Mar 17, 2023

Is your feature request related to a problem? Please describe.
The playground currently uses simple textareas. This could be improved with something that looks more like a code editor.

Describe the solution you'd like
A nice code editor looking playground.

If a parse error refers to line and column numbers, these should be easy to find in the input code.

Describe alternatives you've considered
The current solution is a simpler alternative that works.

Additional context
See https://nickel-lang.org/playground and https://jsfiddle.net for inspiration.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants