diff options
| author | monate | 2003-05-12 09:44:00 +0000 |
|---|---|---|
| committer | monate | 2003-05-12 09:44:00 +0000 |
| commit | 886b5cf73039700db4ec253746e5ef4f23a9cfb3 (patch) | |
| tree | 673a30b4c8d78c2780edddb6af173332b4e12640 | |
| parent | 48c65efb870a84562bc0448474f804aa911b0698 (diff) | |
coqide: all can focus
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4002 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | ide/coqide.ml | 4 |
1 files 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); |