diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-14 15:35:09 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-14 15:35:09 +0000 |
commit | 3230de30f3e96158e54a7f9467264ebd6d6d0a65 (patch) | |
tree | 7ee8fbd4c15516168ec2281a98b4d72cdbf85404 /tikzit/src/gtk/ToolBox.m | |
parent | 2ab14c0fb8dbf8850423fbb2e38a24ea881a8e49 (diff) |
Add scrollbars to the tool style selectors
Diffstat (limited to 'tikzit/src/gtk/ToolBox.m')
-rw-r--r-- | tikzit/src/gtk/ToolBox.m | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tikzit/src/gtk/ToolBox.m b/tikzit/src/gtk/ToolBox.m index e5411c1..3fddacf 100644 --- a/tikzit/src/gtk/ToolBox.m +++ b/tikzit/src/gtk/ToolBox.m @@ -163,6 +163,7 @@ static void unretain (gpointer data); - (void) _setToolWidget:(GtkWidget*)widget { if (configWidget) { + gtk_widget_hide (configWidget); gtk_container_remove (GTK_CONTAINER (configWidgetContainer), configWidget); g_object_unref (configWidget); |