Text Crawler GUI font size
Posted: Tue Dec 03, 2024 8:06 pm
I can't find any post directly about that but here is a picture of what troubles me:
https://i.imgur.com/tJ2yLg1.png
This might be Windows 10 being updated from a Windows 11 MS era, and some edge integration into the file manager and whole user experience, ..., IDK. If that helps: the menu font is rather big compares to the main UI font choice (same figure link above).
The settings do not seem to be controlling the UI font itself.
Or did I miss one to use. Anyone having solved that problem?
https://i.imgur.com/tJ2yLg1.png
This might be Windows 10 being updated from a Windows 11 MS era, and some edge integration into the file manager and whole user experience, ..., IDK. If that helps: the menu font is rather big compares to the main UI font choice (same figure link above).
The settings do not seem to be controlling the UI font itself.
Or did I miss one to use. Anyone having solved that problem?