diff options
| author | David Aspinall | 2011-04-13 11:12:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-04-13 11:12:49 +0000 |
| commit | cb88c7236bf1d2aa276a62b7dfe0ef61a769f787 (patch) | |
| tree | d94d62bf03fc07c133c30c32144a92e45fb19bb5 /generic/proof-menu.el | |
| parent | 48fe5f38679c0c99e446a4666199a6d5ab27190c (diff) | |
Add proof-output-tooltips option to turn off output highlighting for people who read or edit by waving mouse at text
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 |