|
From: | Manuel Giraud |
Subject: | bug#64440: 30.0.50; [PATCH] Highlight on non toolkit menu bar items |
Date: | Tue, 04 Jul 2023 18:14:02 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
Hi, Here is a new set of patches with two more on top of the previous ones (ie. Number 1 and 2 should be the same as before). Number 3 sets the default mouse cursor to be an arrow on the default menu bar area. Number 4 fixes a flickering I had while moving the mouse pointer *into* a menu bar entry. Best regards, -- Manuel Giraud
0001-Possibility-to-get-enter-event-from-menu_bar-window.patch
Description: Text Data
0002-Highlight-on-non-toolkit-menu-bar-items.patch
Description: Text Data
0003-nontext-cursor-on-the-menu-bar-by-default.patch
Description: Text Data
0004-Avoid-mouse-cursor-flicker.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |