diff options
| -rw-r--r-- | generic/proof-config.el | 1 | ||||
| -rw-r--r-- | generic/proof-toolbar.el | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 9e85b866..33aac0d1 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -722,6 +722,7 @@ If a function, it should return the command string to insert." proof-find-theorems-command) (command "Issue Command" "Issue a non-scripting command" t) (interrupt "Interrupt Prover" "Interrupt the proof assistant (warning: may break synchronization)" t) + (visibility "Toggle Visibility" nil t) (info nil "Show online proof assistant information" t proof-info-command) (help nil "Proof General manual" t)) 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 ;; |