[Top][All Lists]

[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]