command_windows fix

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

2 files changed, 6 insertions, 9 deletions

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index 6c0048ca3c..1fe1fd90b7 100644
--- a/ide/command_windows.ml
+++ b/ide/command_windows.ml
@@ -63,7 +63,7 @@ object(self)
 		  ~packing:notebook#append_page
 		  ()
     in
-    notebook#next_page ();
+    notebook#goto_page (notebook#page_num frame#coerce);
     let vbox = GPack.vbox ~homogeneous:false ~packing:frame#add () in
     let hbox = GPack.hbox ~homogeneous:false ~packing:vbox#pack () in
     let combo = GEdit.combo ~popdown_strings:Coq_commands.state_preserving
@@ -97,6 +97,7 @@ object(self)
 	result#buffer#set_text s
     in
     ignore (combo#entry#connect#activate ~callback:(on_activate callback));
+    ignore (ok_b#connect#clicked ~callback:(on_activate callback));
 
     begin match command,term with 
       | None,None -> ()
diff --git a/ide/coqide.ml b/ide/coqide.ml
index 0b87f41cb1..3b0c3dcedb 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -204,7 +204,7 @@ let crash_save i =
        (let filename = match av#filename with 
 	 | None -> 
 	     incr count; 
-	     "Unamed_coqscript_"^(string_of_int !count)^".crashcoqide"
+	     "Unnamed_coqscript_"^(string_of_int !count)^".crashcoqide"
 	 | Some f -> f^".crashcoqide"
        in
        try 
@@ -398,11 +398,7 @@ let complete input_buffer w (offset:int) =
 	      last_completion := Some (w,offset,start#offset,true);
 	      result
       end
-	
-	
-  
-  
-  
+	  
 let get_current_word () =
   let av = out_some ((get_current_view ()).analyzed_view) in 
   match GtkBase.Clipboard.wait_for_text (cb ()) with
@@ -2280,7 +2276,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 						  ~width:(!current.window_width/2)
 						  ~height:(!current.window_height)
 						  ~title:(match av#filename with
-							  | None -> "*Unamed*"
+							  | None -> "*Unnamed*"
 							  | Some f -> f) 
 						  () 
 					in
@@ -2576,7 +2572,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
   w#show ();
   message_view := Some tv3;
   proof_view := Some tv2;
-  let view = create_input_tab "*Unamed Buffer*" in
+  let view = create_input_tab "*Unnamed Buffer*" in
   let index = add_input_view {view = view;
 			      analyzed_view = None;
 			     }