GNU bug report logs - #64440
30.0.50; [PATCH] Highlight on non toolkit menu bar items

Previous Next

Full log

Message #11 received at 64440 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefankangas <at> gmail.com>
To: Manuel Giraud <manuel <at> ledu-giraud.fr>, Po Lu <luangruo <at> yahoo.com>
Cc: 64440 <at> debbugs.gnu.org
Subject: Re: bug#64440: 30.0.50;
 [PATCH] Highlight on non toolkit menu bar items
Date: Fri, 1 Sep 2023 20:55:17 +0200

> 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.

Po Lu, do you have any comments on this patch series?

Thanks in advance.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.