Subject: Re: bug#64440: 30.0.50; [PATCH] Highlight on non toolkit menu bar items

From: Po Lu <[email-masked]>
Date: Tue, 12 Sep 2023 21:06:48 +0800

Eli Zaretskii <[email-masked]> writes:

> We already have it: mouse-highlight.

mouse-highlight disables all mouse highlighting, while I specifically
want to disable mouse highlight on the menu bar.