Tabs lacks control over their font

Have a suggestion for "Everything"? Please post it here.
Thy Grand Voidinesss
Posts: 825
Joined: Wed Jun 01, 2022 5:01 pm

Tabs lacks control over their font

Post by Thy Grand Voidinesss »

There is the

Tools > Options > Advanced > tabs_high

setting that controls the vertical size of Tabs - but it seems that users do not have control over the font used by them. And thus I would like to suggest adding something like

tabs_font_size


for starters. And then later on maybe also

tabs_font_color
tabs_font_color_active


in order to be able to distinct more profoundly which Tab is the active one


And on a side note in relation to the above: it seems that something already controls the setting that should be made available under a name like

tabs_background_color
void
Developer
Posts: 19899
Joined: Fri Oct 16, 2009 11:31 pm

Re: Tabs lacks control over their font

Post by void »

tabs_high is an advanced setting that allows you to specify the exact height of the tab control.

Tab fonts and colors can be set under Tools -> Options -> Fonts and Colors -> Item -> Tabs
Thy Grand Voidinesss
Posts: 825
Joined: Wed Jun 01, 2022 5:01 pm

Re: Tabs lacks control over their font

Post by Thy Grand Voidinesss »

Oh, it is that duality approach I forgot about: normal settings are not repeated in the Advanced list. And that is even logical, because its right there in the name i.e. Advanced and not All or Normal and Advanced


However this

Tools > Options > Advanced >

could use a new feature of a check-box described something like

Show non-Advanced


or

Show all settings


that when chosen would expand the seen list, so that a user could adjust such things like all GUI element of Tabs in one place. But then the question arises, if the normal settings would get their changes applies in all those scattered menus without a need to close the Options window [in order for those settings to get applied]. And if I am not mistaken I have already suggested this upgrade at some point in the past in some other discussion
Last edited by Thy Grand Voidinesss on Tue Aug 26, 2025 9:41 am, edited 1 time in total.
void
Developer
Posts: 19899
Joined: Fri Oct 16, 2009 11:31 pm

Re: Tabs lacks control over their font

Post by void »

Show all settings is a good idea.
There's issues with which setting to use if you change it under Fonts and Colors and then under Advanced.

I would like to do something with
about:config

Maybe some-kind-of page (like the advanced settings page) that shows all settings in the main Everything window.

about:config
works now, but it opens your config in an external editor.
Settings aren't sorted, they are categorized and you'll need to restart Everything after changing your Everything.ini externally.