[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Pop-up font size with lucid toolkit (was: Question on updating to 29.1)
From: |
PierGianLuca |
Subject: |
Pop-up font size with lucid toolkit (was: Question on updating to 29.1) |
Date: |
Sat, 19 Aug 2023 13:05:02 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.14.0 |
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
- Re: Question on updating to 29.1, (continued)
- Re: Question on updating to 29.1, Basile Starynkevitch, 2023/08/17
- Re: Question on updating to 29.1, Philip Kaludercic, 2023/08/18
- Pop-up font size with lucid toolkit (was: Question on updating to 29.1),
PierGianLuca <=
- Solved: Pop-up font size with lucid toolkit (was: Question on updating to 29.1), PierGianLuca, 2023/08/19
- Re: Pop-up font size with lucid toolkit (was: Question on updating to 29.1), Gregory Heytings, 2023/08/19
- Re: Pop-up font size with lucid toolkit (was: Question on updating to 29.1), PierGianLuca, 2023/08/19
- Re: Pop-up font size with lucid toolkit, Philip Kaludercic, 2023/08/20
- Re: Pop-up font size with lucid toolkit, PierGianLuca, 2023/08/20
- Re: Pop-up font size with lucid toolkit, Philip Kaludercic, 2023/08/21
- Re: Question on updating to 29.1, Eli Zaretskii, 2023/08/11
- Re: Question on updating to 29.1, Jens Schmidt, 2023/08/11
- Re: Question on updating to 29.1, Eli Zaretskii, 2023/08/12
- Re: Question on updating to 29.1, PierGianLuca, 2023/08/12