Skip to content

✨ Padding to the left of line numbers #156

Closed

Description

@austincondiff

Description

There should be 20 pixels of padding to the left of the line numbers in the ruler. This gives the line numbers a little breathing room so it is not right on the edge of the editor view.

Activity

  1. moved this from 🆕 New to 🏃‍♂️ In Progress in CodeEdit Projecton Mar 16, 2023
  2. Eliulm commented on Mar 16, 2023

    @Eliulm
    Contributor

    I would like to work on this :)

  3. added a commit that references this issue on Mar 16, 2023
    4ff2df5
  4. moved this from 🏃‍♂️ In Progress to 🏁 Complete in CodeEdit Projecton Mar 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions