Hi list, Does anyone have an idea on how to change options on this plugin ? For me I just want to have another default font (all text is set to "font-family: DejaVu Sans Mono; font-size: 11px").... Of course I can "search & replace" the font name in all the exported.svg file with any text editor... but...
Thanks for your sharing all best, -- Raphaël Ilias ___________________________________
_______________________________________________ Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
