[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Regarding outline headings in emacs-lisp libraries
From: |
Stefan Monnier |
Subject: |
Re: Regarding outline headings in emacs-lisp libraries |
Date: |
Mon, 03 Aug 2020 10:36:11 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> If we don't know about such scripts, do we really need to assume they
> exist?
>
> And what kind of scripts did you have in mind -- scripts which do what
> jobs?
The same kinds of scripts as those running on elpa.gnu.org.
I've had scripts that looked for `;;; Code:`. I've replaced them with
code that relies on other features of the code since then, but that
makes me expect that there are such scripts out there.
>> Now, if the benefit were significant, I wouldn't mind, but AFAICT, the
>> benefit of renaming is very small (at least, given the alternative names
>> I've seen proposed so far which all seemed rather bland).
> It's IMO as significant when compared to the rest of Jonas's proposal.
Fair point,
Stefan
- Re: Regarding outline headings in emacs-lisp libraries, Eli Zaretskii, 2020/08/01
- Re: Regarding outline headings in emacs-lisp libraries, Jonas Bernoulli, 2020/08/01
- Re: Regarding outline headings in emacs-lisp libraries, T.V Raman, 2020/08/01
- Re: Regarding outline headings in emacs-lisp libraries, Eli Zaretskii, 2020/08/02
- Re: Regarding outline headings in emacs-lisp libraries, Stefan Monnier, 2020/08/02
- Re: Regarding outline headings in emacs-lisp libraries, Eli Zaretskii, 2020/08/03
- Re: Regarding outline headings in emacs-lisp libraries,
Stefan Monnier <=
- Re: Regarding outline headings in emacs-lisp libraries, Jonas Bernoulli, 2020/08/08
- Re: Regarding outline headings in emacs-lisp libraries, Stefan Monnier, 2020/08/08
- Re: Regarding outline headings in emacs-lisp libraries, Jonas Bernoulli, 2020/08/09
Re: Regarding outline headings in emacs-lisp libraries, Richard Stallman, 2020/08/02
Re: Regarding outline headings in emacs-lisp libraries, Richard Stallman, 2020/08/01