[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: *scratch* buffer documentation
From: |
Drew Adams |
Subject: |
RE: *scratch* buffer documentation |
Date: |
Fri, 27 Dec 2019 08:12:34 -0800 (PST) |
> How about this addition instead, after the first paragraph:
>
> Buffers exist as long as they are used, and are deleted ("killed")
> when no longer needed, either by you (see Kill Buffer) or by Emacs
> (e.g., when you exit Emacs, see Exiting).
Minor suggestion (and I agree that it can
help to have some such statement where we
introduce buffers):
"Used" could mislead. It could give the
impression that a buffer is "no longer
needed" only when it is no longer visible
or is being actively edited by a user.
It's not about whether a user is using the
buffer (or that she thinks she is).
It may not be obvious here that it's about
whether Emacs - anything in Emacs - is
"using" the buffer, i.e., that there is some
reference to it - some need for it. (But
"reference" might not be clear to some
non-programmers.)
"No longer needed" is probably clear enough,
on its own. Without saying what that means,
it will likely be interpreted correctly, as
meaning that Emacs (not just a user) needs
the buffer for some reason.
It's OK to be vague about what "need" means,
even if it's not so OK (IMO) to be vague
about what "use" means. I suggest dropping
mention of being "used".
- Re: *scratch* buffer documentation, (continued)
- Re: *scratch* buffer documentation, Eli Zaretskii, 2019/12/26
- Re: *scratch* buffer documentation, Jean-Christophe Helary, 2019/12/26
- Re: *scratch* buffer documentation, Eli Zaretskii, 2019/12/27
- Re: *scratch* buffer documentation, Jean-Christophe Helary, 2019/12/27
- Re: *scratch* buffer documentation, Eli Zaretskii, 2019/12/27
- Re: *scratch* buffer documentation, Jean-Christophe Helary, 2019/12/27
- Re: *scratch* buffer documentation, VanL, 2019/12/27
- Re: *scratch* buffer documentation, Eli Zaretskii, 2019/12/27
- Re: *scratch* buffer documentation, John Yates, 2019/12/27
- Re: *scratch* buffer documentation, Eli Zaretskii, 2019/12/27
- RE: *scratch* buffer documentation,
Drew Adams <=
- Re: *scratch* buffer documentation, Lars Ingebrigtsen, 2019/12/27