New file in CoqIDE is not ANNOYING anymore.

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

1 files changed, 3 insertions, 3 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 1aa3a70cf..91e3ca04c 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1825,9 +1825,9 @@ let main files =
   let vbox = GPack.vbox ~homogeneous:false ~packing:w#add () in
 
   let new_f _ =
-    match select_file_for_save ~title:"Create file" () with
-      | None -> ()
-      | Some f -> do_load f
+    let session = create_session None in
+    let index = session_notebook#append_term session in
+    session_notebook#goto_page index
   in
   let load_f _ =
     match select_file_for_open ~title:"Load file" () with