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
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. :mrgreen:

Sincerely,

Captee