From 12bdc17cd540af8b635db3ea4f0095bcc15fec4b Mon Sep 17 00:00:00 2001
From: jnarboux
Date: Wed, 11 Jun 2008 10:32:35 +0000
Subject: escape key now hides pane

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

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 3cc85b6f26..a519f23979 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -3570,6 +3570,17 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 										  w#resize 
 										    ~width:!current.window_width
 										    ~height:!current.window_height);
+							      
+							      ignore (w#event#connect#key_press 
+									~callback:
+									begin fun ev -> 
+									  let key = GdkEvent.Key.keyval ev in
+									    if key = GdkKeysyms._Escape then
+									      queries_frame#misc#hide();
+									    false
+									end);
+							      
+
 
 							      ignore (w#misc#connect#size_allocate 
 									(let old_w = ref 0 
-- 
cgit v1.2.3