Skip to content

✨ Scale line numbers relative to font size #157

Closed
#170
Closed
✨ Scale line numbers relative to font size#157
#170
Assignees
Eliulm
Labels
enhancementNew feature or request

Description

@austincondiff
austincondiff
opened on Mar 8, 2023

Description

The line numbers in the ruler should scale relative to the editor font size as it increases or decreases. The line number font size is smaller than the editor font so it should scale proportionally.

Screenshots

Screen.Recording.2023-03-08.at.4.15.42.PM.mp4

This is Xcode, we should be handling this similarly.

Activity

  1. austincondiff
    added
    enhancementNew feature or request
    on Mar 8, 2023
  2. austincondiff
    added this to CodeEdit Projecton Mar 8, 2023
  3. github-project-automation
    moved this to 🆕 New in CodeEdit Projecton Mar 8, 2023
  4. austincondiff
    moved this from 🆕 New to 📋 Todo in CodeEdit Projecton Mar 8, 2023

  5. Eliulm commented on Mar 22, 2023

    @Eliulm
    Eliulm
    on Mar 22, 2023
    Contributor

    @austincondiff You can assign this to me since I have already got it pretty much done. Only need to tweak the scaling a bit.

  6. lukepistrol
    assigned
    Eliulm
    on Mar 22, 2023

  7. luah5 commented on Mar 25, 2023

    @luah5
    luah5
    on Mar 25, 2023
    Member

    how is this going @Eliulm? this is definitely a must-have ever since CodeEditApp/CodeEdit#1191 was merged.

  8. lukepistrol
    closed this as completedin #170on Mar 26, 2023
  9. lukepistrol
    closed this as completedin a60580aon Mar 26, 2023
  10. github-project-automation
    moved this from 📋 Todo to 🏁 Complete in CodeEdit Projecton Mar 26, 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