From 41c25a6d99e4c6f3e7f95f751ec302720d7755d5 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 25 Jan 2013 23:21:28 +0000
Subject: Better handling of escape find in CoqIDE

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16148 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/mac_default_accel_map | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide/mac_default_accel_map')

diff --git a/ide/mac_default_accel_map b/ide/mac_default_accel_map
index 28ff7b9a9f..6f474eb124 100644
--- a/ide/mac_default_accel_map
+++ b/ide/mac_default_accel_map
@@ -244,7 +244,6 @@
 ; (gtk_accel_path "<Actions>/Templates/Template Notation" "")
 ; (gtk_accel_path "<Actions>/Edit/Cut" "<Primary>x")
 ; (gtk_accel_path "<Actions>/Templates/Template Theorem" "")
-; (gtk_accel_path "<Actions>/Edit/Close Find" "Escape")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic constructor" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic elim -- with" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Identity Coercion" "")
-- 
cgit v1.2.3