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

Add line number vertical line #351

Closed
pakLebah opened this issue Apr 30, 2018 · 8 comments
Closed

Add line number vertical line #351

pakLebah opened this issue Apr 30, 2018 · 8 comments
Assignees

Comments

@pakLebah
Copy link

Actual Behavior

carbon

Complaint: The space between line number and the actual code is too close. On some themes, the color similarity of line number and the code is confusing.

Expected Behavior

carbon

Suggestions:

  1. The space between line number and the code should be a little bit wider.
  2. Add a vertical line to clearly distinguish line number and the code.
@DeepSpace2
Copy link
Contributor

DeepSpace2 commented May 2, 2018

While at it, maybe make the line optional and the padding configurable?

@mfix22
Copy link
Contributor

mfix22 commented May 3, 2018

@DeepSpace2 the line numbers are optional and the padding is currently configurable in the settings. Just click "Advanced" in the dropdown.

@jakedex what do you think about having this line next to the line numbers?

@adrianhartanto0
Copy link

can I work on adding the line next to the line numbers?

@mfix22
Copy link
Contributor

mfix22 commented May 26, 2018

Sure @adrianhartanto0! Could you add it as an option to start though, under the "Advanced Settings" menu?

@adrianhartanto0
Copy link

@mfix22 no problem. will update any progress

@adrianhartanto0
Copy link

adrianhartanto0 commented May 28, 2018

@mfix22 Shall the vertical line be fixed to a particular color/colour? If so, what color should it be?

@mfix22
Copy link
Contributor

mfix22 commented May 28, 2018 via email

@jakedex
Copy link
Collaborator

jakedex commented Nov 19, 2018

Closing as stale. See #384

@jakedex jakedex closed this as completed Nov 19, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

5 participants