[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#67174: 30.0.50; [PATCH] What about a vectorized Gnus mode-line logo?
From: |
Eric Abrahamsen |
Subject: |
bug#67174: 30.0.50; [PATCH] What about a vectorized Gnus mode-line logo? |
Date: |
Mon, 20 Nov 2023 10:01:34 -0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On 11/20/23 10:23 AM, Manuel Giraud wrote:
> Eric Abrahamsen <eric@ericabrahamsen.net> writes:
>
> [...]
>
>> Hmm, I couldn't find an explicit statement of this in the manual, but it
>> looks to me that, since we're using the 'display text property, the
>> :scale property will already be relative to the text that _would have
>> been displayed there_. IOW, we're already scaled to the text. The text
>> property is applied to the "^Gnus:" part of a string, so 5 characters,
>> and that's our base.
>
> I don't know how it works for you but for me the pixmap version is
> always the same size whatever the font size I'm using.
I suppose that makes sense! Given that it's a pixmap. But not an issue
for us.
>> Anyway, if you're concerned that the icon might bulge out the mode line
>> or something, I don't think that will happen.
>
> Yes, I have tested with really tiny font and the icon (pixmap or SVG)
> never bulge. So all in all, I think that this patch could go in as is.
Done! Thanks for the patch.
bug#67174: 30.0.50; [PATCH] What about a vectorized Gnus mode-line logo?, Visuwesh, 2023/11/26