Hi again,
I am still at the very bottom of my TeXmacs learning curve but struggle to find my way through the documentation.
I want to traverse through the various elements of a TeXmacs graphics (unhide element after element, where elements are points, curves, text boxes etc.). As far as I understood, this should also be possible by using switches, but those are not available in the graphics menu. What would be the idiomatic way to do it, do I have to program a macro for it? Any help is welcome, ideally with a small working example.
Thanks,
—Martin
Switches in graphics
The drawing is a bit nastier because the relationship between graphics and code may be intricate.
I would try with graphical overlays (available in the drawing mode). I checked it out today for the first time, it seems that you can use the visualization tags (I made up the name) that you find on the ribbon (This, From, Until, Always) to unhide element after element.
If you give me some time I think I can post a small working example.
G.
Hm, yes, it worked with graphical overlays (somehow). Somehow, because it still seems a bit buggy to me. Creating overlay, than painting, creating next overlay, painting, etc. did not work straight away. I had to create an overlay, then delete it and create a new one to make it visible as expected (using the “From” for unhiding step by step). It is still not fully reproducible in my case.
Btw, it also worked with a switch, but this has the disadvantage that I have to copy the whole graphic into each branch. This is also well explained in the “Overlay” section of the built-in documentation or manual, related to slides, but seems to be valid for graphics as well (=> s/slide/graphics/g):
This could be achieved by using a switch tag: we just copy the whole slide both in the first and in the second branch of the switch, and next color all instances of x red in the second branch. However, this solution has the disadvantage that any a posteriori modification on the slide has to be made both in the first and in the second branch