diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 14:18:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 14:18:40 +0000 |
commit | 055a7fd022ad611fe1775ac724bafc015129af57 (patch) | |
tree | 620a2e10451a213f59c171598b6666b28b83a1b0 | |
parent | c3d17961dee7f65a338f5161f62d4949a19daecf (diff) |
Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs
-rw-r--r-- | generic/proof-script.el | 10 |
1 files 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)) |