diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:27:07 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:27:07 +0000 |
| commit | 3eb2ed59378f51ea91100dc36d6ae176b696f926 (patch) | |
| tree | 869b6ed5ac3dffba40da58ecd13976e96f6e0eec /tikzit/src/gtk/ToolBox.m | |
| parent | 815535a6159b8832dcc26554e5543cba1a020cbd (diff) | |
Add a propery editor window
Diffstat (limited to 'tikzit/src/gtk/ToolBox.m')
| -rw-r--r-- | tikzit/src/gtk/ToolBox.m | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/tikzit/src/gtk/ToolBox.m b/tikzit/src/gtk/ToolBox.m index 0b424c4..837c5f9 100644 --- a/tikzit/src/gtk/ToolBox.m +++ b/tikzit/src/gtk/ToolBox.m @@ -43,10 +43,9 @@ static void unretain (gpointer data); g_object_ref_sink (window); gtk_window_set_title (GTK_WINDOW (window), "Toolbox"); 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), 200, 500); + 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_deletable (GTK_WINDOW (window), FALSE); GtkWidget *mainLayout = gtk_vbox_new (FALSE, 5); |