[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline
From: |
Lars Ingebrigtsen |
Subject: |
bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers |
Date: |
Sun, 19 Dec 2021 12:00:14 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Kévin Le Gouguec <kevin.legouguec@gmail.com> writes:
> Right; unfortunately, in addition to this *conceptual* understanding of
> form feeds, *functionally* they are treated as level-1 headings, with
> the unfortunate consequences we highlighted.
>
> As you point out, they are page delimiters; if we were to take them out
> of outline-regexp, page commands (navigation, marking, narrowing) would
> keep working just fine!
Yes, I don't really see any reason to keep ^L in the outline regexp,
because people that switch outline mode on wants that to be the "top
level" organisation, while people that don't do that, will still have
page-wise navigation with ^L. (And as you point out, the page-wise
commands still work fine even if you don't display the ^L's.)
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, (continued)
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Kévin Le Gouguec, 2021/12/17
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Eli Zaretskii, 2021/12/17
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Kévin Le Gouguec, 2021/12/17
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Eli Zaretskii, 2021/12/18
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Kévin Le Gouguec, 2021/12/18
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Juri Linkov, 2021/12/18
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Eli Zaretskii, 2021/12/18
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Kévin Le Gouguec, 2021/12/18
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Eli Zaretskii, 2021/12/18
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Kévin Le Gouguec, 2021/12/18
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers,
Lars Ingebrigtsen <=
- bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Eli Zaretskii, 2021/12/19
bug#51016: 28.0.50; 'diff-font-lock-prettify' breaks display of outline headers, Richard Stallman, 2021/12/16