diff options
| -rw-r--r-- | generic/proof-toolbar.el | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index f05cc533..bbdb3020 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -416,6 +416,17 @@ changed state." (defalias 'proof-toolbar-find 'proof-find-theorems) ;; +;; Visible button (not on toolbar) +;; + +(defun proof-toolbar-visible-enable-p () + t) + +(defalias 'proof-toolbar-visible 'pg-show-all-proofs) + + + +;; ;; Interrupt button ;; |