[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: buffer-face-set changes the fringe, is it a bug?
From: |
Eli Zaretskii |
Subject: |
Re: buffer-face-set changes the fringe, is it a bug? |
Date: |
Mon, 06 Jul 2020 19:41:36 +0300 |
> Date: Mon, 6 Jul 2020 14:22:16 +0200 (CEST)
> From: Gregory Heytings via "Emacs development discussions."
> <emacs-devel@gnu.org>
>
> So it seems that it's only when a face remapping takes place that an
> omitted face in [1] means using the default face. Before the face
> remapping takes place, the fringe face is used instead.
No, it uses the default face, but the result is produced slightly
differently (not by actually merging the two faces).
- buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/05
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/06
- Re: buffer-face-set changes the fringe, is it a bug?,
Eli Zaretskii <=
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/06
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/06
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/06
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/07
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/07
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/07
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/07
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/07
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/07
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/07