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

If you are experiencing problems with "Everything", post here for assistance.
Post Reply
capteelingurdian
Posts: 37
Joined: Wed Jul 22, 2020 4:01 pm

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

Post by capteelingurdian » Sat Dec 05, 2020 7:48 am

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 3100 times
there at the top?

Sincerely,

Captee

void
Site Admin
Posts: 6085
Joined: Fri Oct 16, 2009 11:31 pm

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

Post by void » Sat Dec 05, 2020 8:22 am

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
Posts: 37
Joined: Wed Jul 22, 2020 4:01 pm

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

Post by capteelingurdian » Sat Dec 05, 2020 11:18 am

Ah! Got it. Got it.

Thanks!

Captee

horst.epp
Posts: 352
Joined: Fri Apr 04, 2014 3:24 pm

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

Post by horst.epp » Sat Dec 05, 2020 5:04 pm

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

capteelingurdian
Posts: 37
Joined: Wed Jul 22, 2020 4:01 pm

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

Post by capteelingurdian » Tue Dec 08, 2020 2:51 am

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

Post Reply