Font size affects colors/padding

[eugenesv]

The default font size for the menu is 9, but when I change "(Default)" to 9 for the "Menu" its size also changes, it becomes bigger though the font is the same size. Also the background color is changed.

Is there a way to limit the font size to just text without any other effects on padding/colors?

↓ font size unset, (Default)

font unset.png

font set.png

↑ font size set to 9, note the toolbar is taller (the mouse pointer position is identical)

(other styles are unchanged, all are "Default")

Using Version 1.5.0.1400a (x64)

[void]

It's a limitation with the stock menu control.
There's no way to change the stock menu control font, font size or color.

If you change the font, font size or color, Everything will use its own menubar.
Everything's menubar may differ in size slightly.

To override the menubar height:

• In Everything 1.5, from the Tools menu, click Options.
• Click the Advanced tab on the left.
• To the right of Show settings containing, search for:
  menu
• Select: menu_high
• Set the value to: 29
  (adjust 29 to the desired height in logical pixels)
• Click OK.

[eugenesv]

Thanks, I've recreated the exact default size with these options. And forcing the menu height manually is even better since now I can make the menu font bigger without increasing the height, and all the extra size simply eats into the margins I don't need (the search bar anyway already has a "margin" box around it, that's enough of a separation).
Thanks for exposing these various UI customization options!

Re. the original issue - maybe when 'menu' is selected, add an extra comment/warning text that the default menu is fully replaced on any customization, so will its uncustomized properties will also change?

[void]

I will consider a warning within the UI.
I will add a note to the Fonts and Colors documentation.
The warning would only apply to the standard theme. (the dark theme always uses the built-in Everything menubar)

Thank you for the suggestion.