CodeEditApp / CodeEditSourceEditor

A code editor view written in Swift powered by tree-sitter.
https://codeeditapp.github.io/CodeEditSourceEditor/documentation/codeeditsourceeditor
MIT License
504 stars 74 forks source link

✨ Scale line numbers relative to font size #157

Closed austincondiff closed 1 year ago

austincondiff commented 1 year ago

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

https://user-images.githubusercontent.com/806104/223864722-9276941a-22bc-4b62-b013-15ffaacc69d9.mp4

This is Xcode, we should be handling this similarly.

Eliulm commented 1 year ago

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

luah5 commented 1 year ago

how is this going @Eliulm? this is definitely a must-have ever since https://github.com/CodeEditApp/CodeEdit/pull/1191 was merged.