Notice also that with the lastest versions of TeXmacs, you can go into a "big-figure" and edit some properties along with the source of the tag ...
Archive powered by MHonArc 2.6.19.