[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: |
Tue, 07 Jul 2020 22:20:38 +0300 |
> Date: Tue, 7 Jul 2020 20:47:19 +0200 (CEST)
> From: Gregory Heytings via "Emacs development discussions."
> <emacs-devel@gnu.org>
>
> Whether this 'default' one is the original default face or a new
> 'default' face created by face remapping should not matter in this
> case.
Well, it does. because face-remapping creates a new face.
- Re: buffer-face-set changes the fringe, is it a bug?, (continued)
- 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?, 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 <=
- 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/08
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/08
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/08
- Re: buffer-face-set changes the fringe, is it a bug?, Richard Stallman, 2020/07/08
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/09
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/09
- Re: buffer-face-set changes the fringe, is it a bug?, Eli Zaretskii, 2020/07/09
- Re: buffer-face-set changes the fringe, is it a bug?, Gregory Heytings, 2020/07/10