From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 6 Oct 2013 16:52:43 +0000 (+0200)
Subject: Change toolbar style such that only icons are displayed and no labels.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=10a3bd6d431947ed371bd8eea77400776e1cbc07;p=pspp

Change toolbar style such that only icons are displayed and no labels.

The labels occupy too much horizontal space.
---

diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index dd7ddb6901..57bb3f7795 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -636,6 +636,7 @@
     <child>
       <object class="GtkToolbar" constructor="uimanager1" id="toolbar">
         <property name="visible">True</property>
+        <property name="toolbar-style">GTK_TOOLBAR_ICONS</property>
       </object>
     </child>
   </object>