diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-09 10:30:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-09 10:30:01 +0000 |
commit | 9da815dc2e3adcc3e806ae53ee9b5622fe7a0236 (patch) | |
tree | f31d2ffcb9ef0d978c71290a1724d491ce8ff642 /generic/proof-toolbar.el | |
parent | b9bcf5abd27918af6142e54af7045779d4703198 (diff) |
Add menu entry for toggling visibility
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 83e895a9..9baeadeb 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -528,6 +528,15 @@ changed state." (defalias 'proof-toolbar-find 'proof-find-theorems) ;; +;; Visibility button (not on toolbar) +;; + +(defun proof-toolbar-visibility-enable-p () + (span-property-safe (span-at (point) 'type) 'idiom)) + +(defalias 'proof-toolbar-visibility 'pg-toggle-visibility) + +;; ;; Interrupt button ;; |