|
From: | Po Lu |
Subject: | bug#64440: 30.0.50; [PATCH] Highlight on non toolkit menu bar items |
Date: | Tue, 12 Sep 2023 21:06:48 +0800 |
User-agent: | Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> 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.
[Prev in Thread] | Current Thread | [Next in Thread] |