diff options
| author | David Aspinall | 2010-08-22 22:02:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-22 22:02:03 +0000 |
| commit | 043524261a0e8f19b70bce9d7c19f2cde02d7595 (patch) | |
| tree | af6fbc0b9d57891dffb48fc90f4d6b2ce89dbb67 | |
| parent | 68687d859dec8b1e8f8b87e6f69073b05dc552f1 (diff) | |
proof-fast-process-buffer: switch on by default if looks like Mac port (ns feature)
| -rw-r--r-- | generic/proof-useropts.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 10e61c86..de4011cd 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -386,9 +386,9 @@ are distracting or too frequent." :set 'proof-set-value :group 'proof-user-options) -(defcustom proof-fast-process-buffer nil +(defcustom proof-fast-process-buffer (featurep 'ns) "*If non-nil, `proof-process-buffer' will use a busy wait to process. -This results in faster processing, but disables user interaction." +This results in faster processing, but disables simultaneous user interaction." :type 'boolean :group 'proof-user-options) |