DevToys
DevToys copied to clipboard
DevToys-app
Set Font Size
What feature or new tool do you think should be added to DevToys?
My eyes weren't what they were when I was in my 20's, I'd like to be able to increase the font size.
Why do you think this is needed?
I feel it is a good accessibility feature to increase the font size, as for people with imperfect the GUI is not usable.
Solution/Idea
In settings have an option for font size, otherwise follow the user's system settings in the OS.
Comments
No response
This would also be useful for those of us with high resolution screens, I have to crane my neck to read stuff on my screen.
The screenshot is the program fullscreened on my system.
Hi, It looks like the app doesn't respect DPI correctly on Linux. Hi @badcel , do you know if it's something I can address using your library?
Hm, I'm not sure as I don't have high dpi hardware.
Actually I would expect it to just work.
There is relatively few information here:
- Which desktop environment is used?
- which distro with version is used?
- Does it effect other gnome based apps like epiphany (gnome web)?
I found this pretty old news which hints that it should work: https://webkitgtk.org/2021/06/08/webkitgtk2.33.2-released.html
It is not even clear if the initial bug report uses high dpi hardware. Perhaps we have two different bugs here?
Perhaps the user can scale the app via keyboard shortcuts like in a browser? I'm not sure if those are available by default (strg + plus).
I'm on Linux Mint 21.3 / 6.5.0-1027-oem kernel / 1920x1080 resolution. UI scale is set to 100%.
Current version is broken in some other way, but the font size for me is tiny.
I'm on Linux Mint 21.3 / 6.5.0-1027-oem kernel / 1920x1080 resolution. UI scale is set to 100%.
I test DevToys on Mint 21.3 too, along with Ubuntu. Also 1920x1080 resolution and also UI scale set to 100%. I do not have this issue. This is odd :-/
Current version is broken in some other way, but the font size for me is tiny.
Does this happen every time you start the app, or only occasionally?
Does this happen every time you start the app, or only occasionally?
I uninstalled it when I opened the issue, because I couldn't read the font. I just reinstalled it. This other issue is outside of the scope of the font issue, if it continues I'll open a separate issue.
Opened: #1370
Hi, I have not been able to reproduce the font size issue yet. But I'm wonder if using 100% GTK instead of Adw would help in this case: https://github.com/DevToys-app/DevToys/pull/1380
My guess would be that it does not help. libadwaita just creates new controls and Stylesheets out of GTK technology. All the rendering stuff is still GTK.
But you never know 🤷
+1, not really usable without font size setting (I'm on mac os with 5k screen)
