GNU bug report logs - #41401
27.0.91; gdb-mi headers use mode-line faces

Previous Next

Package: emacs;

Reported by: Trevor Spiteri <tspiteri <at> ieee.org>

Date: Tue, 19 May 2020 12:44:01 UTC

Severity: normal

Found in version 27.0.91

Done: Eli Zaretskii <eliz <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Trevor Spiteri <tspiteri <at> ieee.org>
Subject: bug#41401: closed (Re: bug#41401: 27.0.91; gdb-mi headers use
 mode-line faces)
Date: Tue, 19 May 2020 14:30:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#41401: 27.0.91; gdb-mi headers use mode-line faces

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 41401 <at> debbugs.gnu.org.

-- 
41401: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41401
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Eli Zaretskii <eliz <at> gnu.org>
To: Trevor Spiteri <tspiteri <at> ieee.org>
Cc: 41401-done <at> debbugs.gnu.org
Subject: Re: bug#41401: 27.0.91; gdb-mi headers use mode-line faces
Date: Tue, 19 May 2020 17:29:34 +0300
> From: Trevor Spiteri <tspiteri <at> ieee.org>
> Date: Tue, 19 May 2020 14:50:29 +0200
> 
> This report can be closed.

Done, thanks.

[Message part 3 (message/rfc822, inline)]
From: Trevor Spiteri <tspiteri <at> ieee.org>
To: bug-gnu-emacs <at> gnu.org
Subject: 27.0.91; gdb-mi headers use mode-line faces
Date: Tue, 19 May 2020 14:43:34 +0200
In gdb-mi, the formats used for header-line-format make use of the
mode-line, mode-line-inactive and mode-line-highlight faces. This makes
my headers misaligned since I customized the mode-line and
mode-line-inactive faces to be narrower than the default face. (Changing
the mode-line faces is also done in some themes inside etc/themes.)

Maybe a good compromise would be to create new faces which inherit the
mode-line faces by default, so at least there is an easy way to
customize these new faces to fix the alignment.




This bug report was last modified 5 years and 56 days ago.

Previous Next


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