Making the gutterView font size always follow the text size in its corresponding line. #66
Replies: 3 comments 2 replies
-
|
the gutter font is initialized with the textview font (default font), including it's size. |
Beta Was this translation helpful? Give feedback.
-
|
changed in f61e63a |
Beta Was this translation helpful? Give feedback.
-
|
I think it would be better if each line number automatically matches the font size of the largest character on the corresponding line. 8 points font size: Screen.Recording.2024-08-23.at.8.47.29.PM.movXcode: Screen.Recording.2024-08-23.at.8.34.29.PM.mov |
Beta Was this translation helpful? Give feedback.
-
I don't like it. It makes the line numbers of different sizes, nothing is aligned, each line is different, and there is too much noise. What is on the Xcode recording here is that it scales the line numbers and the content font, not matching them to what's in the line - slightly different behavior that actually makes sense. |
Beta Was this translation helpful? Give feedback.
-
that is Xcode-specific behavior. Normally, only selected text is scaled (compared with TextEdit). That means only selected lines are affected. The scaling like in Xcode should be handled outsite STTextView. That said, I don't feel to change anything in that regard now. |
Beta Was this translation helpful? Give feedback.
-
I think the current approach for the gutterView font size is not the best:
I think it would be better to make the gutterView font size always follow the text size in its corresponding line to prevent bugs like the following:
Try changing the font size in ViewController to a large one, let's say 288:
textView.font = NSFont.monospacedSystemFont(ofSize: 288, weight: .regular)You will notice the bug shown in the images.
font.size.bug.mov
Beta Was this translation helpful? Give feedback.
All reactions