Hi all, On Sat, May 22, 2021 at 12:45:20PM +0100, Jeroen Wouters wrote: > I have the impression that plugins are no longer being detected on > restart. > > When I start with a clean TEXMACS_HOME_PATH and install a new plugin > there, it is not detected, even after several restarts. It only > appears after clicking Tools->Update->Plugins.
It is true that the detection is not launched systematically (since this may potentially slow down the start-up quite a bit). Maybe we should regularly do this kind of more expensive operations during idle time. Best wishes, --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
