You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jul 20, 2020. It is now read-only.
When I enter manually a fontsize of 13.5 it is halfway between 13 and 14, so decimals are supported.
This would be very useful. I have a large 4k screen and each half point size is quite a big difference.
It looks like this is due to using Math.round when computing the value.
The text was updated successfully, but these errors were encountered:
I managed to just edit the JS myself to remove round. My guess is it was included for line-height where it is probably more necessary?
It for sure is a bit klunky using half pixel sizes, but may as well let people do it if they want :-) Or perhaps there's another way to make the increments smaller. I'm not sure why there is such a big jump between sizes when the step is set to 1.
I really want to be able to zoom in 0.5 of a font size at a time.
When I use
0.5
forfontshortcuts.step
it rounds up to the next whole pixel size.When I enter manually a fontsize of 13.5 it is halfway between 13 and 14, so decimals are supported.
This would be very useful. I have a large 4k screen and each half point size is quite a big difference.
It looks like this is due to using
Math.round
when computing the value.The text was updated successfully, but these errors were encountered: