scripting area now grabs focus at startup.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12518 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 1 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index f74d63051..90673b67f 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -3425,7 +3425,8 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 								  let index = session_notebook#append_term session in
 								    activate_input index;
 								end;
-                                  initial_about session_notebook#current_term.proof_view#buffer
+                                  initial_about session_notebook#current_term.proof_view#buffer;
+                                  session_notebook#current_term.script#misc#grab_focus ()
 
 ;;