From 01fb4c98db28ede806159d0f8720d8c514ff792c Mon Sep 17 00:00:00 2001
From: Alex Merry <dev@randomguy3.me.uk>
Date: Tue, 5 Feb 2013 00:08:54 +0000
Subject: Force tool buttons to be icon-only

Otherwise it breaks the layout.
---
 tikzit/src/gtk/ToolBox.m | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tikzit/src/gtk/ToolBox.m b/tikzit/src/gtk/ToolBox.m
index 5d8f936..4b6aa0a 100644
--- a/tikzit/src/gtk/ToolBox.m
+++ b/tikzit/src/gtk/ToolBox.m
@@ -59,6 +59,8 @@ static void tool_button_toggled_cb (GtkWidget *widget, ToolBox *toolBox);
                             FALSE,
                             FALSE,
                             0);
+        gtk_tool_palette_set_style (GTK_TOOL_PALETTE (toolPalette),
+                                    GTK_TOOLBAR_ICONS);
 
         toolGroup = GTK_TOOL_ITEM_GROUP (gtk_tool_item_group_new ("Tools"));
         g_object_ref_sink (G_OBJECT (toolGroup));
-- 
cgit v1.2.3