Skip to content
Discussion options

You must be logged in to vote

You can remove line-numbers from the editor.gutters section of your config and reload it, but i believe there is no typable command for this.

As a workaroung, you could write a script to do this and bind to a key.

How are you copying the text? Even with the mouse I'm not able to select the line numbers.

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by masonwan
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants