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

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 41401 in the body.
You can then email your comments to 41401 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

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.

Message #8 received at 41401 <at> debbugs.gnu.org (full text, mbox):

From: Trevor Spiteri <tspiteri <at> ieee.org>
To: 41401 <at> debbugs.gnu.org
Subject: Re: 27.0.91; gdb-mi headers use mode-line faces
Date: Tue, 19 May 2020 14:50:29 +0200

On 19/05/2020 14:43, Trevor Spiteri wrote:
> 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.

Oh, I was confused. The header line which uses the mode-line faces
should not be aligned with the rest of the window: it is used to select
window modes, e.g. either Breakpoints or Threads. Then in that same
window there can be column headers which are already properly aligned as
they do not use a different face.

This report can be closed.

Message #13 received at 41401-done <at> debbugs.gnu.org (full text, mbox):

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.

Previous Next

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