On Sat, May 22, 2021 at 11:04:10PM +0100, Jeroen Wouters wrote: > Perhaps the documentation could use some updating in that case. > Currently, in `TeXmacs/doc/devel/plugin/plugin-install.en.tm` it > says "As soon as you restart TeXmacs, the plug-in should be > automatically recognized."
Good point, thanks. I added a sentence about Tools -> Update -> Plugins. Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
