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 settings to reduce left padding of line numbers #14545

Open
1 task done
dtonda8 opened this issue Jul 16, 2024 · 1 comment
Open
1 task done

Add settings to reduce left padding of line numbers #14545

dtonda8 opened this issue Jul 16, 2024 · 1 comment
Labels
design [core label] editor Feedback for code editing, formatting, editor iterations, etc enhancement [core label]

Comments

@dtonda8
Copy link

dtonda8 commented Jul 16, 2024

Check for existing issues

  • Completed

Describe the feature

Looks like there is some free real estate on the left of the numbers. I think it'd look neater if line numbers were more centered/reducing left padding.

If applicable, add mockups / screenshots to help present your vision of the feature

image

Relevant settings for the above:

{
  "gutter": {
    "folds": false,
    "line_numbers": false,
    "code_actions": false,
    "runnables": true
  }
}

Sublime for reference:
image

@dtonda8 dtonda8 added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Jul 16, 2024
@notpeter notpeter added design [core label] editor Feedback for code editing, formatting, editor iterations, etc and removed triage Maintainer needs to classify the issue admin read Pending admin review labels Jul 16, 2024
@m0rg5
Copy link

m0rg5 commented Jan 17, 2025

Any progress here?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
design [core label] editor Feedback for code editing, formatting, editor iterations, etc enhancement [core label]
Projects
None yet
Development

No branches or pull requests

3 participants