Can somebody please tell me how to specify the use of colors other than those displayed in the menus? Thanks -clement
_______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
