Chronological Thread 

< Chronological >      < Thread >

---

Hi,


Short version: How does one force refreshing the rendering of a
document fragment from Scheme code, short of doing an edit action at
that point or near?

Long version:

For my Coq TeXmacs plugin, I would like to programmatically decide the
colour of the prompt in a session. I have thus put this definition in
the session/coq style:

<assign|coq-orig-input|<value|input>>


<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. This nearly works, but:

- the rendering is not refreshed automatically, except when an edit
event happens near the affected node. I'm willing to explicitly
refresh the rendering when needed, but what Scheme procedure shall
I call to do that? The best would be a procedure that takes a tree
or a path and refreshed the rendering of that tree.

- When I take the menu entry "Tools/Update/Styles", it puts all
prompts in one colour and not each prompt in the colour it should
have.

(If the following code would work better, I can also use it:


<assign|input|<macro|prompt|body|<coq-orig-input|<with|color|<if|<equal|<value|prog-language>|coq>|<if|<extern|coq-prompt-test?>|red|green>|<value|color>>|<arg|prompt>>|<arg|body>>>>

the end result I'm aiming at is rather simple: before a certain point
in the document, all prompts are one colour and after that point all
prompts are another colour. If you see a better way to do it, I'm open
to suggestions. That point is transient, depending on the state of the
Coq process and should _not_ be saved with the document. It is
currently in a Scheme variable (as a position).

)


Any clean/easy way to do that?

--
Lionel

---

• Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/24/2006
  • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/24/2006
    • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/25/2006
  • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Henri Lesourd, 10/25/2006
    • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/26/2006
  • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Joris van der Hoeven, 10/29/2006
    • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Lionel Elie Mamane, 10/30/2006
      • Re: [TeXmacs] Forcing refresh of rendering of a document fragment, Joris van der Hoeven, 10/30/2006
        • Prompt colours in tmEgg [was: Forcing refresh of rendering of a document fragment], Lionel Elie Mamane, 10/30/2006

---

Archive powered by MHonArc 2.6.19.