diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 14:19:05 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 14:19:05 +0000 |
commit | c2c4eae281e7fc6b661b9e061c8f619844216950 (patch) | |
tree | 5565a640ab764b7af73711b907642a47bd0250db /tikzit/src/gtk | |
parent | 2c6c704e9633f7e92c9299e7150f209cb1055cd1 (diff) |
Better toolbox default size
The width should now be sufficient for the create node tool.
Diffstat (limited to 'tikzit/src/gtk')
-rw-r--r-- | tikzit/src/gtk/ToolBox.m | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tikzit/src/gtk/ToolBox.m b/tikzit/src/gtk/ToolBox.m index 3fddacf..b1a70c3 100644 --- a/tikzit/src/gtk/ToolBox.m +++ b/tikzit/src/gtk/ToolBox.m @@ -45,7 +45,7 @@ static void unretain (gpointer data); gtk_window_set_role (GTK_WINDOW (window), "toolbox"); gtk_window_set_type_hint (GTK_WINDOW (window), GDK_WINDOW_TYPE_HINT_UTILITY); - gtk_window_set_default_size (GTK_WINDOW (window), 150, 500); + gtk_window_set_default_size (GTK_WINDOW (window), 170, 500); gtk_window_set_deletable (GTK_WINDOW (window), FALSE); GtkWidget *mainLayout = gtk_vbox_new (FALSE, 5); |