[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: Maxim Nikulin
Subject: Re: Large source block causes org-mode to be unusable
Date: Wed, 23 Jun 2021 23:40:31 +0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1

On 22/06/2021 19:32, Léo Ackermann wrote:

I suggest that special block in LateX export (https://orgmode.org/manual/Special-blocks-in-LaTeX-export.html) may be treated differently.

Generally I agree with you that #+begin_proof should be a thin wrapper unlike a source code block. However I am not familiar with fontification, so I can not reason if it is feasible. Maybe the code is watching if something like #+end_proof appeared, so block finished.

On the other hand my impression was that \begin{proof} environment is intended to emphasize a paragraph or two to separate it from regular text on the same page. My expectation is that 4-page long proof should be formatted as ordinary sections and subsections.

If proof environment is still required, maybe it is possible to customize export backend to have proofs as a headings with some property in the source document. E.g. beamer backend converts headings to frames. I have never tried such tricks, so I am unaware how much work is required for such approach.

reply via email to

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