try to reduce the size of the queries pane

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

1 files changed, 8 insertions, 8 deletions

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index c9eb8ad2d0..ab65fa1439 100644
--- a/ide/command_windows.ml
+++ b/ide/command_windows.ml
@@ -18,18 +18,18 @@ class command_window () =
   let frame = GBin.frame ~label:"Command Pane" ~shadow_type:`IN () in
   let _ = frame#misc#hide () in
   let _ = GtkData.AccelGroup.create () in
-  let vbox = GPack.vbox ~homogeneous:false ~packing:frame#add () in
+  let hbox = GPack.hbox ~homogeneous:false ~packing:frame#add () in
   let toolbar = GButton.toolbar 
-		  ~orientation:`HORIZONTAL 
-		  ~style:`BOTH
+		  ~orientation:`VERTICAL 
+		  ~style:`ICONS
 		  ~tooltips:true 
-		  ~packing:(vbox#pack 
+		  ~packing:(hbox#pack 
 			       ~expand:false
 			       ~fill:false)
 		  ()
   in
   let notebook = GPack.notebook ~scrollable:true 
-		   ~packing:(vbox#pack 
+		   ~packing:(hbox#pack 
 			       ~expand:true
 			       ~fill:true
 			    ) 
@@ -39,7 +39,7 @@ class command_window () =
     toolbar#insert_button
       ~tooltip:"Hide Commands Pane"
       ~text:"Hide Pane"
-      ~icon:(Ideutils.stock_to_widget ~size:`LARGE_TOOLBAR `CLOSE)
+      ~icon:(Ideutils.stock_to_widget `CLOSE)
       ~callback:frame#misc#hide
       ()
   in
@@ -47,7 +47,7 @@ class command_window () =
     toolbar#insert_button
       ~tooltip:"New Page"
       ~text:"New Page"
-      ~icon:(Ideutils.stock_to_widget ~size:`LARGE_TOOLBAR `NEW)
+      ~icon:(Ideutils.stock_to_widget `NEW)
       ()
   in
 
@@ -55,7 +55,7 @@ class command_window () =
     toolbar#insert_button
       ~tooltip:"Delete Page"
       ~text:"Delete Page"
-      ~icon:(Ideutils.stock_to_widget ~size:`LARGE_TOOLBAR `DELETE)
+      ~icon:(Ideutils.stock_to_widget `DELETE)
       ~callback:(fun () -> notebook#remove_page notebook#current_page)
       ()
   in