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

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Po Lu <luangruo <at> yahoo.com>
Cc: stefankangas <at> gmail.com, manuel <at> ledu-giraud.fr, 64440 <at> debbugs.gnu.org
Subject: bug#64440: 30.0.50; [PATCH] Highlight on non toolkit menu bar items
Date: Fri, 27 Oct 2023 13:35:21 +0300

> From: Po Lu <luangruo <at> yahoo.com>
> Cc: Eli Zaretskii <eliz <at> gnu.org>,  stefankangas <at> gmail.com,
>   64440 <at> debbugs.gnu.org
> Date: Fri, 27 Oct 2023 16:18:56 +0800
> 
> Manuel Giraud <manuel <at> ledu-giraud.fr> writes:
> 
> > Hi Po,
> >
> > Do you think that you could commit it on master?
> >
> > Thanks,
> 
> I was awaiting comments from Eli and Stefan.  To them: does this meet
> with your approbation?  If so, I will commit this to master.

I don't have time ATM to invest in this more than I already did,
sorry.  So please go ahead and install this, and let's take it from
there.

Thanks.

Previous Next

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