diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-04-13 11:12:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 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 |