Re: Tikz
TeXmacs <[email protected]>
| Newsgroups | gmane.editors.texmacs.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev