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 dd7ddb6901d804e386406aa5bf16bcd0a0af8104..57bb3f779548c8577c6089492608d4f606d1824a 100644 (file)
--- 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>