From 11f7e9bf12a045ee9a1b26158511f0095958718b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 12:46:21 +0000
Subject: Move C-c C-w to universal keys

---
 generic/proof-menu.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 53b0e349..30612aff 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -68,7 +68,7 @@ If in three window or multiple frame mode, display both buffers."
 (define-key map [(control c) (control s)] 'proof-toggle-active-scripting)
 (define-key map [(control c) (control t)] 'proof-ctxt)
 (define-key map [(control c) (control u)] 'proof-undo-last-successful-command)
-(define-key map [(control c) (control w)] 'pg-response-clear-displays)
+;; C-c C-w is pg-response-clear-displays in universal-keys
 (define-key map [(control c) (control z)] 'proof-frob-locked-end)
 (define-key map [(control c) (control backspace)] 'proof-undo-and-delete-last-successful-command)
 ; C-c C-v is proof-minibuffer-cmd in universal-keys
-- 
cgit v1.2.3