Re: Persistant disc cache

On Sun, 8 Jun 2014 17:45:17 +0100, Steve Fryatt wrote:

> On 5 Jun, Vincent Sanders wrote in message
> <20140605150105.GL27671@kyllikki.org>:
>
> > The amount of disc used for this cache is selected using the
> > disc_cache_size option in the choices file. The RISC OS frontend does not
> > currently have a user interface to set this value.
>
> It does now (or it will soon; I've just spotted disc_cache_age, which
> probably needs a field as well).

Is that used? I thought that was old legacy stuff and obliterated it
here (I had it disabled anyway as it wasn't used previously either on
non-RISC OS).

Chris