[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] Re: Debugging memory management in TeXmacs
From: |
Lionel Elie Mamane |
Subject: |
Re: [Texmacs-dev] Re: Debugging memory management in TeXmacs |
Date: |
Mon, 23 Oct 2006 15:14:32 +0200 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
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] Debugging memory management in TeXmacs, Lionel Elie Mamane, 2006/10/20
- [Texmacs-dev] Re: Debugging memory management in TeXmacs, Lionel Elie Mamane, 2006/10/20
- [Texmacs-dev] Re: Debugging memory management in TeXmacs, Lionel Elie Mamane, 2006/10/20
- [Texmacs-dev] Re: Debugging memory management in TeXmacs, Lionel Elie Mamane, 2006/10/20
- Re: [Texmacs-dev] Re: Debugging memory management in TeXmacs, Joris van der Hoeven, 2006/10/22
- [Texmacs-dev] Re: Debugging memory management in TeXmacs, Lionel Elie Mamane, 2006/10/23
- [Texmacs-dev] Re: Debugging memory management in TeXmacs, Lionel Elie Mamane, 2006/10/23
- Re: [Texmacs-dev] Re: Debugging memory management in TeXmacs,
Lionel Elie Mamane <=
- [Texmacs-dev] Re: Debugging memory management in TeXmacs, Lionel Elie Mamane, 2006/10/23