Re: Tikz
Jeroen Wouters <[email protected]>
| Newsgroups | gmane.editors.texmacs.devel |
|---|---|
| Message-ID | <[email protected]> |
On Sat, 22 May, 2021 at 21:17, TeXmacs <[email protected]> wrote: > 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. Thanks for the clarification, Joris. 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." Best wishes, Jeroen _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev