[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Large source block causes org-mode to be unusable
From: |
Sébastien Miquel |
Subject: |
Re: Large source block causes org-mode to be unusable |
Date: |
Mon, 28 Jun 2021 08:28:24 +0000 |
Hi,
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.
In small to moderate sized blocks, the delay can still be noticeable and
ought
to be fixed. Attached is a patch that seems to resolve this issue. I haven't
noticed any drawbacks so far.
Regards,
--
Sébastien Miquel
0001-WIP-do-not-refontify-special-blocks.patch
Description: Text Data
- Re: Large source block causes org-mode to be unusable, (continued)
- 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, 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 <=
- 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, Eric S Fraga, 2021/06/28
Re: Large source block causes org-mode to be unusable, Timothy, 2021/06/22