Re: [Texmacs-dev] texmacs colors

[Stéphane Payrard]

Another issue about colors: TeXmacs does not use the background_pixel
WindowAttribute property. If that attribute is set and the window
needs repainting, X automatically repaints the window to that
color. The window is later explicitely repainted by the program (here
TeXmacs). The background_pixel scheme helps to maintain the illusion
of a physical tool. Currently when the repainting is slow we get
"ghost tool(s)", the image of tool(s) that covered TeXmacs stay there
until TeXmacs can repaint it.  The illusion is best maintained with
wdigets based toolkit because each widget has its own background color
but TeXmacs will win a lot by using this feature.

I tried once to fix that but did not get the expected result because
of my lack of Colormap understanding.

--
 stef