From 6e8aea5920ada1794b335921570c82d7b193775b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 21 Sep 2009 12:47:06 +0000
Subject: Remove redisplay function call for Emacs, seems unnecssary.

---
 generic/proof-script.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 373efc8c..50a718bb 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -588,8 +588,7 @@ NAME does not need to be unique."
 		       (pg-make-element-visible idiom
 						(symbol-name key))))))
     (proof-with-script-buffer ; may be called from menu
-     (maphash alterfn elts)))
-  (pg-redisplay-for-gnuemacs))
+     (maphash alterfn elts))))
 
 ;; Next two could be in pg-user.el.  No key-bindings for these.
 (defun pg-show-all-proofs ()
-- 
cgit v1.2.3