From cb88c7236bf1d2aa276a62b7dfe0ef61a769f787 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 13 Apr 2011 11:12:49 +0000
Subject: Add proof-output-tooltips option to turn off output highlighting for
 people who read or edit by waving mouse at text

---
 generic/proof-menu.el | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'generic/proof-menu.el')

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
-- 
cgit v1.2.3