Hi Clément,
I've just had a look at your patch, and it seems very reasonable to me. Hence, I've just pushed it as ebd06c1 :) > Hi all, > > * lisp/org-src.el (org-src-font-lock-fontify-block): Reset the > modification flag of the temporary fontification buffer after > fontifying. > > Without this some modes cause Emacs to prompt about unsaved buffers > when exiting: `Save buffer *org-src-fontification:...-mode*?' > > (I'm seeing this with Proof General's coq-mode, specifically.) > > Clément. > > [2. text/x-patch; > 0001-org-src-Reset-buffer-modified-p-after-fontifying.patch]... -- Timothy