diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 12:47:06 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 12:47:06 +0000 |
commit | 6e8aea5920ada1794b335921570c82d7b193775b (patch) | |
tree | cacaf87a24b19ecceaf13170a903f4eb1221fe90 | |
parent | d450254ef35ddbad0676b4b7c27d61e7362518e9 (diff) |
Remove redisplay function call for Emacs, seems unnecssary.
-rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 1 insertions, 2 deletions
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 () |