diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/command_windows.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |