On Sun, 8 Jun 2014 17:45:17 +0100, Steve Fryatt wrote: > On 5 Jun, Vincent Sanders wrote in message > <20140605150105.gl27...@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