* bug#41401: 27.0.91; gdb-mi headers use mode-line faces
@ 2020-05-19 12:43 Trevor Spiteri
2020-05-19 12:50 ` Trevor Spiteri
0 siblings, 1 reply; 3+ messages in thread
From: Trevor Spiteri @ 2020-05-19 12:43 UTC (permalink / raw)
To: 41401
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* bug#41401: 27.0.91; gdb-mi headers use mode-line faces
2020-05-19 12:43 bug#41401: 27.0.91; gdb-mi headers use mode-line faces Trevor Spiteri
@ 2020-05-19 12:50 ` Trevor Spiteri
2020-05-19 14:29 ` Eli Zaretskii
0 siblings, 1 reply; 3+ messages in thread
From: Trevor Spiteri @ 2020-05-19 12:50 UTC (permalink / raw)
To: 41401
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* bug#41401: 27.0.91; gdb-mi headers use mode-line faces
2020-05-19 12:50 ` Trevor Spiteri
@ 2020-05-19 14:29 ` Eli Zaretskii
0 siblings, 0 replies; 3+ messages in thread
From: Eli Zaretskii @ 2020-05-19 14:29 UTC (permalink / raw)
To: Trevor Spiteri; +Cc: 41401-done
> From: Trevor Spiteri <tspiteri@ieee.org>
> Date: Tue, 19 May 2020 14:50:29 +0200
>
> This report can be closed.
Done, thanks.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2020-05-19 14:29 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-05-19 12:43 bug#41401: 27.0.91; gdb-mi headers use mode-line faces Trevor Spiteri
2020-05-19 12:50 ` Trevor Spiteri
2020-05-19 14:29 ` Eli Zaretskii
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.