From ee37896c2a97cd8de1eeea223d261eef49bb3c3a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 25 Jan 2011 20:12:54 +0000 Subject: proof-fast-process-buffer: set to t also on Windows. Untested, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/308 --- generic/proof-useropts.el | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) (limited to 'generic/proof-useropts.el') 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 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) -- cgit v1.2.3