From cf9a7e43e3527184b56e18e5a65836a3345f13c7 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 18 Apr 2012 14:55:17 +0000
Subject: 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
---
 ide/coqide.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 1aa3a70cfb..91e3ca04c7 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
-- 
cgit v1.2.3