diff options
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); |