diff options
| author | Alex Merry <dev@randomguy3.me.uk> | 2013-02-05 00:08:54 +0000 |
|---|---|---|
| committer | Alex Merry <dev@randomguy3.me.uk> | 2013-02-05 00:08:54 +0000 |
| commit | 01fb4c98db28ede806159d0f8720d8c514ff792c (patch) | |
| tree | 3193949d8eea0005041f9197972c25e248cd1a82 | |
| parent | 654595877af5500e97eef480944e4a4a5a9bf27e (diff) | |
Force tool buttons to be icon-only
Otherwise it breaks the layout.
| -rw-r--r-- | tikzit/src/gtk/ToolBox.m | 2 |
1 files changed, 2 insertions, 0 deletions
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)); |