[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: buffer-face-set changes the fringe, is it a bug?
From: |
Richard Stallman |
Subject: |
Re: buffer-face-set changes the fringe, is it a bug? |
Date: |
Wed, 08 Jul 2020 23:01:25 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> It is not useful to say in the manual that something produces
> unexpected results.
Yes, it is better to be a little more specific than that.
> It is not
> > recommended to omit the @var{face}, as an omitted @var{face} leads to
> > unexpected behavior.
Why not make that an error instead?
--
Dr Richard Stallman
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: buffer-face-set changes the fringe, is it a bug?, (continued)
- 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, 2020/07/08
- Re: buffer-face-set changes the fringe, is it a bug?,
Richard Stallman <=
- 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