From 7944955b892f0ffa70ecf92f83b372cddc5b867b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 30 Mar 2008 22:30:44 +0000
Subject: Modifications diverses et variées : - Nouvel essai de prise en compte
 unfold dans apply (unification.ml) - Correction bug commit précédent
 (constrintern.ml) - Correction bug d'explication des evars non résolues
 (evarutil.ml) - Fenêtre de query coqide plus large (command_windows.ml) -
 Orthographe tauto (tauto.ml4) - Crédits (ConstructiveEpsilon.v)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10731 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/command_windows.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index 5887492ce6..b933b7ce2c 100644
--- a/ide/command_windows.ml
+++ b/ide/command_windows.ml
@@ -11,7 +11,7 @@
 class command_window () = 
   let window = GWindow.window 
 		 ~allow_grow:true ~allow_shrink:true 
-		 ~width:320 ~height:200
+		 ~width:500 ~height:250
 		 ~position:`CENTER
 		 ~title:"CoqIde queries" ~show:false ()
   in
-- 
cgit v1.2.3