From d20c031674c42a39811d6b0fecc0bdd98b4aa3d6 Mon Sep 17 00:00:00 2001
From: jnarboux
Date: Tue, 27 May 2008 12:38:06 +0000
Subject: revert toolbar to previous state: icons style

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

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 5770aeea31..b27b3f3628 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1850,7 +1850,7 @@ let main files =
     (* Toolbar *)
     let toolbar = GButton.toolbar 
       ~orientation:`HORIZONTAL 
-      ~style:`BOTH
+      ~style:`ICONS
       ~tooltips:true 
       ~packing:(* handle#add *)
       (vbox#pack ~expand:false ~fill:false)
@@ -2641,7 +2641,6 @@ let main files =
 					      ~callback:(do_if_active( fun a -> a#insert_command "progress trivial.\n"  "trivial.\n" ))
 					   );
 
-				    ignore (toolbar#insert_space ());
 
 				    ignore (toolbar#insert_button
 					      ~tooltip:"Proof Wizard"
-- 
cgit v1.2.3