From 10a3bd6d431947ed371bd8eea77400776e1cbc07 Mon Sep 17 00:00:00 2001
From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 6 Oct 2013 18:52:43 +0200
Subject: [PATCH] Change toolbar style such that only icons are displayed and
 no labels.

The labels occupy too much horizontal space.
---
 src/ui/gui/data-editor.ui | 1 +
 1 file changed, 1 insertion(+)

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>
-- 
2.30.2