[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Large source block causes org-mode to be unusable
From: |
Eric S Fraga |
Subject: |
Re: Large source block causes org-mode to be unusable |
Date: |
Mon, 28 Jun 2021 11:42:06 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
On Monday, 28 Jun 2021 at 08:28, Sébastien Miquel wrote:
> Léo Ackermann writes:
>> @EricSFrada, would you mind sharing your code for your proof sections ?
> This functionality is now built-in: headings with an `ignore' tag do
> not get exported (their contents do). For very large proof, this seems
> like the right thing to do.
Ah, maybe this is what Leo was referring to. I may have misunderstood.
Yes, it seems that org now does process :ignore: tags, I guess. I've
been using my own code to ignore headings for so long that I did not
realise this!
--
: Eric S Fraga via Emacs 28.0.50, Org release_9.4.6-571-gc591be
: Latest paper written in org: https://arxiv.org/abs/2106.05096
- Re: Large source block causes org-mode to be unusable, (continued)
- Re: Large source block causes org-mode to be unusable, Léo Ackermann, 2021/06/22
- Re: Large source block causes org-mode to be unusable, Eric S Fraga, 2021/06/22
- Re: Large source block causes org-mode to be unusable, Léo Ackermann, 2021/06/22
- Re: Large source block causes org-mode to be unusable, Eric S Fraga, 2021/06/22
- Re: Large source block causes org-mode to be unusable, Léo Ackermann, 2021/06/22
- Re: Large source block causes org-mode to be unusable, Maxim Nikulin, 2021/06/23
- Re: Large source block causes org-mode to be unusable, Gennady Uraltsev, 2021/06/23
- Re: Large source block causes org-mode to be unusable, Eric S Fraga, 2021/06/24
- Re: Large source block causes org-mode to be unusable, Léo Ackermann, 2021/06/26
- Re: Large source block causes org-mode to be unusable, Sébastien Miquel, 2021/06/28
- Re: Large source block causes org-mode to be unusable,
Eric S Fraga <=
- Re: Large source block causes org-mode to be unusable, Eric S Fraga, 2021/06/28
Re: Large source block causes org-mode to be unusable, Timothy, 2021/06/22