Re: [Texmacs-dev] Tikz

[TeXmacs]

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