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
Yeah - this is a matter of bad defaults, I wanted to shift the font sizing state to being precise sizes, and as a result I don't initialize correctly for different DPIs anymore (it used to be delta-based). If you zoom in to your liking (via Ctrl + Scroll), it should retain that setting correctly (you can do it for the UI and source code independently).
Hello,
Thanks for this excellent tool, I use it all the time!
With the latest 2 versions, I see that it doesn't take into account the scaling factor set in Windows 11 screen settings.
I have a 4K monitor and I usually set the scaling factor to 150%.
All is working well with version v0.9.11-alpha.
This is what is displayed in version v0.9.11-alpha:
This is what is displayed in the latest version v0.9.13-alpha:
As you can see, it doesn't seems to take into account the scaling factor anymore.
The text was updated successfully, but these errors were encountered: