Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make the line number not selected by user. The user case is when you want to copy the raw source code content, you would not want to automatically select the line number.
- Loading branch information