[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: your mail
|
From: |
Ben Pfaff |
|
Subject: |
Re: your mail |
|
Date: |
Mon, 25 Jul 2016 09:46:16 -0700 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Mon, Jul 25, 2016 at 07:06:43AM +0200, John Darrington wrote:
> * Try increasing the "WORKSPACE" setting (see Section 16.2 of the
> manual) This will mean it should use more of your 16GB of RAM.
I wonder whether we should introduce some kind of dynamic way of setting
the default workspace, for example as a fraction of the RAM in the
system. Currently it always defaults to 64 MB.