diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 15:42:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 15:42:49 +0000 |
commit | b8fc357dbb4bbd7b7cd54fe177a1d60ac0eb59cc (patch) | |
tree | c8eb2f8088b80acd8a84bf75381d61403780e24e /generic/pg-vars.el | |
parent | 9caefd6216b544d22aa927fb8a07a1a925491536 (diff) |
Remove clashing key binding for C-c C-s
Diffstat (limited to 'generic/pg-vars.el')
-rw-r--r-- | generic/pg-vars.el | 1 |
1 files changed, 0 insertions, 1 deletions
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) |