Everything.ini > Font Size > File Edit View Search Bookmarks Tools Help

[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 7297 times

there at the top?

Sincerely,

Captee

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

[capteelingurdian]

Ah! Got it. Got it.

Thanks!

Captee

[horst.epp]

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

[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