[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Menu bar items structure
From: |
Manuel Giraud |
Subject: |
Re: Menu bar items structure |
Date: |
Thu, 17 Nov 2022 16:06:22 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
[...]
>> To overcome this issue my idea was two fold:
>>
>> 1- change the semantics of this index from a char position to a
>> pixel position
>>
>> 2- add a fifth element to a menu item that records the end
>> position of a menu entry (also in pixel and filled in
>> display_menu_bar)
>
> The first alternative is better, IMO: on TTY frames each character is
> 1 pixel, so the change doesn't affect TTY menus.
I was not clear. My patch does the two points.
--
Manuel Giraud
- Menu bar items structure, Manuel Giraud, 2022/11/16
- Re: Menu bar items structure, Eli Zaretskii, 2022/11/17
- Re: Menu bar items structure, Po Lu, 2022/11/17
- Re: Menu bar items structure, Manuel Giraud, 2022/11/17
- Re: Menu bar items structure, Po Lu, 2022/11/17
- Re: Menu bar items structure, Manuel Giraud, 2022/11/17
- Re: Menu bar items structure, Po Lu, 2022/11/17
- Re: Menu bar items structure, Po Lu, 2022/11/17
- Re: Menu bar items structure, Eli Zaretskii, 2022/11/17
- Re: Menu bar items structure,
Manuel Giraud <=
- Re: Menu bar items structure, Eli Zaretskii, 2022/11/17
- Re: Menu bar items structure, Manuel Giraud, 2022/11/18
Re: Menu bar items structure, Manuel Giraud, 2022/11/17