From 886b5cf73039700db4ec253746e5ef4f23a9cfb3 Mon Sep 17 00:00:00 2001
From: monate
Date: Mon, 12 May 2003 09:44:00 +0000
Subject: coqide: all can focus

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

diff --git a/ide/coqide.ml b/ide/coqide.ml
index f4f26ee57b..6989873292 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -2546,8 +2546,8 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 	    (fun ev -> GdkEvent.Button.button ev = 3));
   ignore (tv3#event#connect#button_press ~callback:
 	    (fun ev -> GdkEvent.Button.button ev = 3));
-  tv2#misc#set_can_focus false;
-  tv3#misc#set_can_focus false;
+  tv2#misc#set_can_focus true;
+  tv3#misc#set_can_focus true;
   ignore (tv2#buffer#create_mark 
 	    ~name:"end_of_conclusion" 
 	    tv2#buffer#start_iter);
-- 
cgit v1.2.3