diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 13:42:17 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 13:42:17 +0000 |
| commit | 7160379d24194aff10fb59a6fcee5239abebf9e6 (patch) | |
| tree | 9675ce97627c38e56dc7fa75c53ec1c0519bd2a1 /tikzit/src/gtk/ToolBox.m | |
| parent | d004529a2b71770ef7f68de81ce2ac3efd7d8686 (diff) | |
Use a toolpalette that demands enough space
GtkToolPalette will not request a minimum amount of space by default.
Steal some code from the GIMP to always ensure we have enough space for
the tools.
Diffstat (limited to 'tikzit/src/gtk/ToolBox.m')
| -rw-r--r-- | tikzit/src/gtk/ToolBox.m | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tikzit/src/gtk/ToolBox.m b/tikzit/src/gtk/ToolBox.m index c9cdd0b..9e4fa3b 100644 --- a/tikzit/src/gtk/ToolBox.m +++ b/tikzit/src/gtk/ToolBox.m @@ -21,6 +21,8 @@ #import "Configuration.h" #import "Tool.h" +#import "tztoolpalette.h" + static void tool_button_toggled_cb (GtkWidget *widget, ToolBox *toolBox); static void unretain (gpointer data); @@ -51,7 +53,7 @@ static void unretain (gpointer data); gtk_widget_show (mainLayout); gtk_container_add (GTK_CONTAINER (window), mainLayout); - GtkWidget *toolPalette = gtk_tool_palette_new (); + GtkWidget *toolPalette = tz_tool_palette_new (); gtk_widget_show (toolPalette); gtk_box_pack_start (GTK_BOX (mainLayout), toolPalette, |