-
-
Notifications
You must be signed in to change notification settings - Fork 63
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
Add line number in code editor #68
Comments
Sorry, what do you mean? The line number is in the error there |
Ah I see! The editor we're using doesn't support this I believe. If we add it we'd need to have it be an opt-in feature and we'll need some visual design to work out where to put this config, so it's not a straightforward addition. |
i was able to do some playing around in chrome devtools and found out where we would need to modify the code to enable it would need to be enabled inside /static/index.js and some css added at the bottom of static/css/code/syntax-highlight.css not sure yet how to go about with togging it on/off, but there must be some way to programmatically modify the editor instance |
Oh wow, it is supported! Neat! I couldn't find it in the documentation. |
me neither hah also i think hiding the line number column via css would work. just not sure how to approach a toggle icon because that top right corner is beautiful and i would definitely ruin it with my design skills 😄 |
For longer examples or when user pastes their own code and get and error or warning it would be helpful to be able to use the line number provided by the compiler.
For example from the first example on https://tour.gleam.run/basics/hello-world/:
The text was updated successfully, but these errors were encountered: