From b75b6a895171a7746ae3ff8fe5023ea32f018f6d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 19 Jan 2011 19:06:01 +0000 Subject: pg-show-all-portions: protect against empty hash tables --- generic/proof-script.el | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'generic/proof-script.el') diff --git a/generic/proof-script.el b/generic/proof-script.el index 2db38563..5919f80c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -610,7 +610,9 @@ IDIOMSYM is a symbol and ID is a strings." (list (intern (completing-read - (concat "Make " (if current-prefix-arg "in" "") "visible all regions of: ") + (concat "Make " + (if current-prefix-arg "in" "") + "visible all regions of: ") (apply 'vector pg-idioms) nil t)) current-prefix-arg)) (let ((elts (cdr-safe (assq idiom pg-script-portions))) @@ -619,8 +621,9 @@ IDIOMSYM is a symbol and ID is a strings." (pg-set-element-span-invisible span t)) (lambda (k span) (pg-set-element-span-invisible span nil))))) - (proof-with-script-buffer ; may be called from menu - (maphash alterfn elts)))) + (when elts + (proof-with-script-buffer ; may be called from menu + (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