From 055a7fd022ad611fe1775ac724bafc015129af57 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 10 Dec 2007 14:18:40 +0000 Subject: Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs --- generic/proof-script.el | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/generic/proof-script.el b/generic/proof-script.el index e30ddcfc..c5f6f57b 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -525,17 +525,13 @@ Also clear all visibility specifications." (setq pg-script-portions nil) (setq buffer-invisibility-spec (if (listp buffer-invisibility-spec) - ;; FIXME: inefficient (append (mapcar (lambda (propellips) - (if (memq (car propellips) pg-visibility-specs) + (if (memq (car-safe propellips) pg-visibility-specs) nil (list propellips))) buffer-invisibility-spec)) - ;; NB: if invisibility spec was t, we loose here: we need - ;; it to be a list unfortunately, whereas other code may - ;; want `t'. That's annoying. - ;; (FIXME: should tell GNU/X Emacs developers). - nil))) + ;; Default supports X-Symbol, see `x-symbol-hide-revealed-at-point' + '((t . nil) (hide . nil))))) (defun pg-add-script-element (elt) (add-to-list pg-script-portions elt)) -- cgit v1.2.3