[Texmacs-dev] Warning for developers: more agressive caching

[Joris van der Hoeven]

Hi all,

I just committed a more agressive way to cache OS stat calls,
directory reading and file loading. This reduces the TeXmacs
startup time by about 40% when running it for the first time.
Afterwards, there is no noticeable gain. The acceleration may
be useful though when TeXmacs is installed on a local network,
where OS calls may be slow.

At the negative side, developers should be aware of the fact that
modifications in $TEXMACS_PATH and $TEXMACS_HOME_PATH will not
necessarily be taken into account unless you empty the cache files,
which are located in ~/.TeXmacs/cache (font_cache.scm, stat_cache.scm,
dir_cache.scm and file_cache for fonts, stat calls, reading directories
resp. loading files). All other files are used to cache style files
and the corresponding DRD properties.

Best wishes, Joris