Subject: bug#41401: closed (Re: bug#41401: 27.0.91; gdb-mi headers use mode-line faces)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 19 May 2020 14:30:02 +0000

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 [email-masked].

-- 
41401: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41401
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#41401: 27.0.91; gdb-mi headers use mode-line faces
From: Eli Zaretskii <[email-masked]>
To: Trevor Spiteri <[email-masked]>
Cc: [email-masked]
Date: Tue, 19 May 2020 17:29:34 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

> From: Trevor Spiteri <[email-masked]>
> Date: Tue, 19 May 2020 14:50:29 +0200
> 
> This report can be closed.

Done, thanks.

Subject: 27.0.91; gdb-mi headers use mode-line faces
From: Trevor Spiteri <[email-masked]>
To: [email-masked]
Date: Tue, 19 May 2020 14:43:34 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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.