Page 1 of 1
Everything.ini > Font Size > File Edit View Search Bookmarks Tools Help
Posted: Sat Dec 05, 2020 7:48 am
by capteelingurdian
Hi,
In the Everything.ini is there any control for the font size used for:
- 2020-12-05_15-41-13-130.png (3.14 KiB) Viewed 3131 times
there at the top?
Sincerely,
Captee
Re: Everything.ini > Font Size > File Edit View Search Bookmarks Tools Help
Posted: Sat Dec 05, 2020 8:22 am
by void
As in the menu? -Unfortunately, no.
The menu does not support a different font or size. It is managed by your system DPI.
-A customizable menu font is in development.
Re: Everything.ini > Font Size > File Edit View Search Bookmarks Tools Help
Posted: Sat Dec 05, 2020 11:18 am
by capteelingurdian
Ah! Got it. Got it.
Thanks!
Captee
Re: Everything.ini > Font Size > File Edit View Search Bookmarks Tools Help
Posted: Sat Dec 05, 2020 5:04 pm
by horst.epp
capteelingurdian wrote: ↑Sat Dec 05, 2020 11:18 am
Ah! Got it. Got it.
Thanks!
Captee
I made that with Advanced System Font Changer.
Works fine for me under W10 x64 version 20H2
https://www.wintools.info/index.php/adv ... nt-changer
Re: Everything.ini > Font Size > File Edit View Search Bookmarks Tools Help
Posted: Tue Dec 08, 2020 2:51 am
by capteelingurdian
Hi, Horst!
You and I are cut from the same cloth. I'm a LONG-time user of Advanced System Font Changer.
Sincerely,
Captee