GNU bug report logs - #63271
29.0.90; broken mouse-face

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#63271: closed (29.0.90; broken mouse-face)
Date: Fri, 12 May 2023 19:22:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 12 May 2023 22:21:09 +0300
with message-id <83ilcxbbkq.fsf <at> gnu.org>
and subject line Re: bug#63271: 29.0.90; broken mouse-face
has caused the debbugs.gnu.org bug report #63271,
regarding 29.0.90; broken mouse-face
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
63271: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63271
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Juri Linkov <juri <at> linkov.net>
To: bug-gnu-emacs <at> gnu.org
Subject: 29.0.90; broken mouse-face
Date: Thu, 04 May 2023 18:11:18 +0300

This is a regression introduced between 28 and 29.

1. M-x global-tab-line-mode RET
2. C-h C-n   ;; (view-emacs-news)
3. C-h C-t   ;; (view-emacs-todo)
4. C-x b *scratch* RET

Hover the mouse pointer over the tabs.
Over all tabs mouse-face is 'tab-line-highlight'
that is light grey color.  But over the "TODO" tab
the main text is not highlighted with mouse-face.
There is no difference between "NEWS" and "TODO"
with regard to their text properties.
Customizing 'tab-line-highlight' to a more noticeable
background color like red helps the observe the effect.

[Message part 3 (message/rfc822, inline)]

From: Eli Zaretskii <eliz <at> gnu.org>
To: Juri Linkov <juri <at> linkov.net>
Cc: luangruo <at> yahoo.com, gregory <at> heytings.org, stephen.berman <at> gmx.net,
 63271-done <at> debbugs.gnu.org
Subject: Re: bug#63271: 29.0.90; broken mouse-face
Date: Fri, 12 May 2023 22:21:09 +0300

> From: Juri Linkov <juri <at> linkov.net>
> Cc: Eli Zaretskii <eliz <at> gnu.org>,  Po Lu <luangruo <at> yahoo.com>,
>   stephen.berman <at> gmx.net,  63271 <at> debbugs.gnu.org
> Date: Fri, 12 May 2023 20:20:47 +0300
> 
> >> Since I cannot verify the fix on my system, please confirm that the
> >> change you asked me to install is the one below.
> >>
> >
> > Yes, that change is correct.  Juri could perhaps also confirm that this
> > fixes the bug for him.
> 
> I confirm that this patch completely fixes the reported problem.

Thanks, installed.

Previous Next

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