Chronological Thread 

< Chronological >      < Thread >

---

On Tue, Aug 08, 2006 at 02:09:34PM +0200, Joris van der Hoeven wrote:
> On Tue, Aug 08, 2006 at 09:22:16AM +0200, Lionel Elie Mamane wrote:

>> I'd like my code to get notified (and be able to do stuff) when text
>> in an <input> of a Coq session is modified / deleted, as well as when
>> a whole <input> or a whole Coq <session> is deleted (or cut) or
>> pasted. Is there any way to do this in TeXmacs currently, or would it
>> be rather straightforward to add (as in, you can roughly delineate
>> how to do it, and I could do it without being intimate with the
>> TeXmacs internals)? What I'd like is to be able to register a "hook"
>> (a scheme function) that gets called when the described event
>> happens.

>> The reason I want this is:

>> tmEgg tries to enforce that, were one to save the document, exit
>> TeXmacs, start a new TeXmacs and reopen the same document, one would
>> get the same results by executing the Coq commands in the document.

> The best way to achieve this is probably to use linking in a more
> extensive manner. Basically, I recommend to store the whole Coq
> session in some invisible part of the document (or in scheme
> variables) and refer to the inputs and outputs by links.

I'm not sure what you are talking about. The only "link" thing I can
think of in TeXmacs is the "include that .tm file as a subdocument of
this one" stuff. But then the user cannot edit the subdocument from
the master document. You seem to suggest that instead of linking to an
external file, I can link to a scheme variable or another hidden part
in the same document. But can I get past the "no editing" limitation?

--
Lionel

---

• Re: [TeXmacs] tmEgg and TeXmacs, Lionel Elie Mamane, 11/20/2006

---

Archive powered by MHonArc 2.6.19.