Re: Edit whole session with org-edit-src-edit

["Berry, Charles" <ccberry@ucsd.edu>]

> On Oct 8, 2017, at 3:58 PM, Yury G. Kudryashov <urkud@urkud.name> wrote:
> 
> Hello,
> 
> I want to use orgmode for literate programming with Coq.
> I like the "edit in major mode" org-edit-src-edit feature, but it
> exports only the current src block to the temprorary buffer, so it's
> impossible to debug the file in the temporary buffer using coq-mode
> (proofgeneral) "phrase by phrase" execution.
> 
> I think that some other languages may have similar problems. Say,
> code completion works better, if the whole file is available.


I used the babel jump facility proposed here:

From: Andrew Kirkpatrick <ubermonk@gmail.com>
Subject: Jumping between source blocks in a file
Message-ID: <CAHo11d5aOTLAbR1gy9+9=h_zBgTREpg7HLfLTDuhUYyBwgFDKA@mail.gmail.com>
Archived-At: <http://permalink.gmane.org/gmane.emacs.orgmode/103130>

It is not `all blocks in one buffer', but by jumping from one to the next I get much the same effect.  Any changes in a block get written back to the org buffer when you jump to the next block.  Binding the `*-next' function to meta-down and `*-previous' to `meta-up' makes navigation intuitive.

HTH,

Chuck