[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: |
Wed, 08 Jul 2020 17:41:20 +0300 |
> Date: Wed, 8 Jul 2020 09:00:12 +0200 (CEST)
> From: Gregory Heytings via "Emacs development discussions."
> <emacs-devel@gnu.org>
>
>
> A small improvement to my suggested documentation:
>
> The optional @var{face} names a face whose foreground and background
> colors are to be used to display the bitmap, using the attributes of the
> @code{fringe} face for colors that @var{face} didn't specify. It is not
> recommended to omit the @var{face}, as an omitted @var{face} leads to
> unexpected behavior. It is recommended to explicitly indicate the
> @code{fringe} face when one does not want to use specific colors to
> display the bitmap in the fringe. If @var{face} is omitted and the
> @code{default} face is not remapped, that means to use the attributes of
> the @code{default} face for the colors which the @code{fringe} face didn't
> specify. If @var{face} is omitted and the @code{default} face is
> remapped, that means to use the attributes of the @code{fringe} face for
> the colors which the @code{default} face didn't specify.
It is not useful to say in the manual that something produces
unexpected results. So I installed a slightly different description
of this subtlety.
Thanks.
- 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/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
- 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 <=
- 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