diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-25 20:12:54 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-25 20:12:54 +0000 |
| commit | ee37896c2a97cd8de1eeea223d261eef49bb3c3a (patch) | |
| tree | 7119baa3667abf4d096e4fdaecf299d18dbe2db2 /generic/proof-useropts.el | |
| parent | 737724ed7e05eef3058c6124082e79fbf9165a8d (diff) | |
proof-fast-process-buffer: set to t also on Windows.
Untested, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/308
Diffstat (limited to 'generic/proof-useropts.el')
| -rw-r--r-- | generic/proof-useropts.el | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index b58228c2..b18a63f9 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -1,6 +1,6 @@ ;;; proof-useropts.el --- Global user options for Proof General ;; -;; Copyright (C) 2009, 2010 LFCS Edinburgh. +;; Copyright (C) 2009, 2010, 2011 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -381,9 +381,14 @@ are distracting or too frequent." :type 'boolean :group 'proof-user-options) -(defcustom proof-fast-process-buffer (featurep 'ns) +(defcustom proof-fast-process-buffer + (or (featurep 'ns) ; Mac OS X + ; or Windows (speed up TBC, see Trac #308) + (memq system-type '(windows-nt ms-dos cygwin))) "*If non-nil, `proof-process-buffer' will use a busy wait to process. -This results in faster processing, but disables simultaneous user interaction." +This results in faster processing, but disables simultaneous user interaction. +This setting gives a big speed-up on certain platforms/Emacs ports, for example +Mac OS X." :type 'boolean :group 'proof-user-options) |