From 12a780564aa7e5d936ebe5d9abcde5b28281f304 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Fri, 3 Mar 2017 12:38:58 +0100
Subject: Remove default key-binding for proof-electric-terminator-toggle.

Close ProofGeneral/PG#160
---
 CHANGES | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 4ac96315..142d3d84 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,6 +12,12 @@ and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac
     - Using query-replace (or replace-string) in the processed region
       doesn't wrongly jump to the first match anymore.
 
+*** remove key-binding for proof-electric-terminator-toggle
+    - The default key-binding for proof-electric-terminator-toggle
+      (C-c .) was too easy to enter by mistake. And it was not that
+      useful as we can expect users to configure electric-terminator
+      once and for all. Hence the removal of this default key-binding.
+
 ** Coq changes
 
 *** new menu Coq -> Auto Compilation for all background compilation options
-- 
cgit v1.2.3