Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Set Font Size #1190

Open
pjobson opened this issue Jun 11, 2024 · 10 comments
Open

Set Font Size #1190

pjobson opened this issue Jun 11, 2024 · 10 comments
Labels
bug Something isn't working

Comments

@pjobson
Copy link

pjobson commented Jun 11, 2024

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

@pjobson pjobson added feature Feature / Tool request or idea untriaged labels Jun 11, 2024
@Spagett1
Copy link

Spagett1 commented Jun 12, 2024

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.
image

@veler veler added bug Something isn't working and removed feature Feature / Tool request or idea untriaged labels Aug 10, 2024
@veler
Copy link
Collaborator

veler commented Aug 10, 2024

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?

@badcel
Copy link
Contributor

badcel commented Aug 10, 2024

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).

@pjobson
Copy link
Author

pjobson commented Aug 10, 2024

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.

Selection_029

@veler
Copy link
Collaborator

veler commented Aug 10, 2024

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 :-/

@veler
Copy link
Collaborator

veler commented Aug 10, 2024

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?

@pjobson
Copy link
Author

pjobson commented Aug 10, 2024

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

@veler
Copy link
Collaborator

veler commented Aug 11, 2024

Thank you! :)

@veler
Copy link
Collaborator

veler commented Aug 15, 2024

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:
#1380

@badcel
Copy link
Contributor

badcel commented Aug 15, 2024

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 🤷

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

4 participants