diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 798dba89..526673ee 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -292,6 +292,7 @@ without adjusting window layout." (proof-deftoggle proof-sticky-errors) (proof-deftoggle proof-shell-quiet-errors) (proof-deftoggle proof-minibuffer-messages) +(proof-deftoggle proof-output-tooltips) (proof-deftoggle proof-autosend-enable proof-autosend-toggle) (proof-deftoggle proof-fast-process-buffer) (proof-deftoggle proof-imenu-enable proof-imenu-toggle) @@ -379,6 +380,10 @@ without adjusting window layout." :style toggle :selected proof-minibuffer-messages :help "Show progress messages in minibuffer"] + ["Output tooltips" proof-output-tooltips-toggle + :style toggle + :selected proof-output-tooltips + :help "Add tooltips for prover output"] ["Auto Raise" proof-auto-raise-toggle :style toggle :selected proof-auto-raise-buffers |