On Mon, Oct 23, 2006 at 11:49:02AM +0200, Lionel Elie Mamane wrote: > The problem happens at the time the user types "enter" (the session > not being in multiline mode, hence this calls the evaluation of the > command in that input field) in two specific input fields of a > specific Coq session in a specific order. The first evaluation goes > well, and then the second evaluation gives the error, but there it > happens before my Scheme code kicks in (before my custom serializer > is called) and hence before any communication happens; it happens > when executing the tmg_process_input C++ function, hence the > process-input Scheme function. I think that process-input itself is > called from kbd-return in session-edit.scm.
It seems related to having a Scheme variable containing a position (set with "position-set") that points within the document snippet that gets removed, but I haven't been able yet to reproduce it with the pnambic plugin. Still trying... -- Lionel _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
