I think I should not clog the texmacs-users email list with info about plugin implementations... or modifications of the files I made.
Should I post here instead for plugin implementation related questions? Peace -Adrian.
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
