[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [O] Edit whole session with org-edit-src-edit

From: Berry, Charles
Subject: Re: [O] Edit whole session with org-edit-src-edit
Date: Mon, 9 Oct 2017 02:40:09 +0000

> On Oct 8, 2017, at 3:58 PM, Yury G. Kudryashov <address@hidden> 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 <address@hidden>
Subject: Jumping between source blocks in a file
Message-ID: <address@hidden>
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.



reply via email to

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