GNU TeXmacs - Bugs: bug #59921, Decorated color works in the theme...
You are not allowed to post comments on this tracker with your current authentication level.
bug #59921: Decorated color works in the theme Plain, only
No changes have been made to this item
Powered by Savane 3.15-e6e5.
Corresponding source code