We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Describe the bug New relative numbers margin appears in F# Interactive window
It doesn't make sense to display the line number margin in the interactive window. We should just hide it. Screenshots
Environment (please complete the following information):
The text was updated successfully, but these errors were encountered:
Don't render relative line number margin in F# Interactive window
109e8cf
Fixes #2929
nosami
Successfully merging a pull request may close this issue.
Describe the bug
New relative numbers margin appears in F# Interactive window
It doesn't make sense to display the line number margin in the interactive window. We should just hide it.
Screenshots
Environment (please complete the following information):
The text was updated successfully, but these errors were encountered: