From b8fc357dbb4bbd7b7cd54fe177a1d60ac0eb59cc Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 18 Aug 2010 15:42:49 +0000 Subject: Remove clashing key binding for C-c C-s --- generic/pg-vars.el | 1 - 1 file changed, 1 deletion(-) (limited to 'generic/pg-vars.el') diff --git a/generic/pg-vars.el b/generic/pg-vars.el index e86fde61..5570fb56 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -259,7 +259,6 @@ user interaction.") ([(control c) (control p)] . proof-prf) ([(control c) (control l)] . proof-layout-windows) ([(control c) (control x)] . proof-shell-exit) - ([(control c) (control s)] . proof-shell-start) ([(control c) (control v)] . proof-minibuffer-cmd) ([(control c) (control w)] . pg-response-clear-displays) ([(control c) (control ?.)] . proof-goto-end-of-locked) -- cgit v1.2.3