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

---
 generic/proof-config.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 943cae10..cc71eb11 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -2444,7 +2444,8 @@ If this table is empty or needs adjusting, please make changes using
        '([(control c) \`] . proof-next-error)
      '("`" . proof-next-error))
    '(([(control c) (control c)] . proof-interrupt-process)
-     ([(control c) (control v)] . proof-minibuffer-cmd)))
+     ([(control c) (control v)] . proof-minibuffer-cmd)
+     ([(control c) (control w)] . pg-response-clear-displays)))
 "List of key-bindings made for the script, goals and response buffer. 
 Elements of the list are tuples `(k . f)' 
 where `k' is a key-binding (vector) and `f' the designated function."
-- 
cgit v1.2.3