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

Feat: add line numbers to code editors #5474

Open
wants to merge 1 commit into
base: development
Choose a base branch
from

Conversation

shun2wang
Copy link
Contributor

This helps users quickly locate code lines and error lines while writing scripts such as JAGS.

@shun2wang shun2wang marked this pull request as draft April 23, 2024 02:49
@shun2wang shun2wang force-pushed the lineNumber branch 4 times, most recently from e62dce5 to b4b6ade Compare April 28, 2024 01:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant