diff -up gtk-nodoka-engine-0.6/src/GTKEngine/support.c.gimp-crash gtk-nodoka-engine-0.6/src/GTKEngine/support.c --- gtk-nodoka-engine-0.6/src/GTKEngine/support.c.gimp-crash 2007-08-19 13:14:54.000000000 +0200 +++ gtk-nodoka-engine-0.6/src/GTKEngine/support.c 2007-10-29 12:17:12.000000000 +0100 @@ -279,7 +279,7 @@ nodoka_option_menu_get_props (GtkWidget if (tmp_spacing) { *indicator_spacing = *tmp_spacing; - g_free (tmp_spacing); + gtk_border_free (tmp_spacing); } else *indicator_spacing = default_option_indicator_spacing;