[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] Re: New special env variable: path to self
From: |
Lionel Elie Mamane |
Subject: |
[Texmacs-dev] Re: New special env variable: path to self |
Date: |
Thu, 26 Oct 2006 14:39:22 +0200 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
On Thu, Oct 26, 2006 at 02:36:16PM +0200, Lionel Elie Mamane wrote:
> On Thu, Oct 26, 2006 at 10:23:17AM +0200, Lionel Elie Mamane wrote:
>> On Tue, Oct 24, 2006 at 02:40:35PM +0200, Lionel Elie Mamane wrote:
>>>
>>> <assign|input|<macro|prompt|body|<coq-orig-input|<with|color|<if|<equal|<value|prog-language>|coq>|<extern|coq-prompt-colour>|<value|color>>|<arg|prompt>>|<arg|body>>>>
>>> where coq-prompt-colour is a secure Scheme procedure that will return
>>> the colour the thing should be in.
>> The problem is that as far as I can determine, there is no way for
>> that scheme procedure to know the position in the document of the
>> node being typeset.
I just realised this is wrong. One can do:
<extern|coq-prompt-colour|>
and then coq-prompt-colour gets as argument a _tree_ that is exactly
at the position the value node was in my previous scenario. So it just
has to do a "tree->path" and bingo, same result. I take my patch back,
simpler/better solution found.
--
Lionel