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 _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
