> I am not sure what you are asking. What specific treatment are you
referring to?
- What is happening now. The #+BEGIN_proof / #+END_proof keywords cause my proof to be seen as a block. Therefore, babel fontification is called to highlight syntax of my proof within my buffer. Timothy already discussed here how inefficient the babel fontification is.
- What could happen. Changing (somewhere) the treatment of #BEGIN_proof & co the following way: Assign them to a new face "latex_export_sugar" and ignore them while editing. Doing this, the fontification of the org proof will be made as usual and will be fast enough. While exporting, replace #+BEGIN_proof by \begin{proof} and so on...
Do you see what I mean ?
Best,