Hi Philip,
Thank you so much for the extra info and explanations! Especially this:
Whenever I am on an X system, I even prefer using
--with-x-toolkit=lucid, especially if you are the kind of Emacs user
that hides the GUI toolkit (things like the menu, tool or scroll-bar).
Indeed I only use a vertical scroll bar, and hide the rest. So now I recompiled
and reinstalled with --with-x-toolkit=lucid. It's working nicely so far!
I see that some pop-ups (for example when you hover over some buttons in a
customize window) look different. I'd like to decrease their font, which is too
big, but I'm not managing to find the appropriate customization item or
variable. Does anyone know its name, or if decreasing this font is at all
possible?
Cheers,
Luca