[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: |
Sun, 05 Jul 2020 18:32:35 +0300 |
> Date: Sun, 5 Jul 2020 14:43:46 +0200 (CEST)
> From: Gregory Heytings via "Emacs development discussions."
> <emacs-devel@gnu.org>
>
> OK, so one should use:
>
> (put-text-property 0 1 'display '(left-fringe question-mark fringe) s)
Yes, if you want to get the 'fringe' face.
> In fact the manual is not as clear as you think, it states (see
> https://www.gnu.org/software/emacs/manual/html_node/elisp/Fringe-Bitmaps.html
> ):
>
> (fringe bitmap [face])
>
> The optional face names a face whose foreground color is used to display
> the bitmap; this face is automatically merged with the fringe face.
>
> For me this means that the fringe face is used to display the bitmaps in
> the fringe, except the :foreground property which can optionally be
> imported from another face.
Thanks, I clarified the meaning of FACE in that case.
- 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 <=
- 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, 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