diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2017-03-03 12:38:58 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2017-03-03 12:41:08 +0100 |
| commit | 12a780564aa7e5d936ebe5d9abcde5b28281f304 (patch) | |
| tree | a296a7f4c1f0928761d2c5ea4991034d8d4a1d99 /generic | |
| parent | a1278112e8a613069bbfb9fa47bee2b9089efd4a (diff) | |
Remove default key-binding for proof-electric-terminator-toggle.
Close ProofGeneral/PG#160
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e67a7774..7d9afe22 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2565,9 +2565,10 @@ finish setup which depends on specific proof assistant configuration." ;; Additional key def for (first character of) terminal string (if proof-terminal-string (progn - (define-key proof-mode-map - (vconcat [(control c)] (vector (aref proof-terminal-string 0))) - 'proof-electric-terminator-toggle) +;; This key-binding was disabled following a request in PG issue #160. +;; (define-key proof-mode-map +;; (vconcat [(control c)] (vector (aref proof-terminal-string 0))) +;; 'proof-electric-terminator-toggle) (define-key proof-mode-map (vector (aref proof-terminal-string 0)) 'proof-electric-terminator))) |