mailing-list for TeXmacs Users

[Romain Lebreton <address@hidden>]

Hello everyone,

I am trying to understand how the overlays work. The example from 
man-beamer-overlays suggests that overlays enable you to easily replace 
something (e.g. x) by another thing (e.g. <with|font-color|red|x>). I 
tried and I found no way of doing it. How could I do such a thing ?
Also I have another question. When some overlay is not visible, because 
you used for instance <overlay-this| >, this overlay still takes its 
space, as the <phantom| > would do. How could make it totally disappear 
from the rendering, as would the command <hidden| > do ?
Thanks,

Romain