> so you don't have to fetch it again. Of course, there should also
be a timer...
As happens, the www client caches information. The number of
documents (text files or menus) cached is currently 2, defined by
LOADED_LIMIT in GridText.c. We'll increase it next release, as 5
seems more useful. There's no timer, but it its a good idea.
Tim BL