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

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

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

Sincerely,

Captee
void
Developer
Posts: 15096
Joined: Fri Oct 16, 2009 11:31 pm

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

Post 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.
capteelingurdian
Posts: 100
Joined: Wed Jul 22, 2020 4:01 pm

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

Post by capteelingurdian »

Ah! Got it. Got it.

Thanks!

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

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

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

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

Post 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
Post Reply