# HG changeset patch
# User Tomasz Mon <desowin@gmail.com>
# Date 1216029247 -7200
# Node ID fbb17b57229aad9f68f8c948fbf4d8f3d80dddfe
# Parent  f1b6f1b2cdb3a86fbe00f13c307efc9d06ff161c
fix possible segfault on cleanup

diff -r f1b6f1b2cdb3 -r fbb17b57229a src/skins/ui_skinned_textbox.c
--- a/src/skins/ui_skinned_textbox.c	Mon Jul 14 03:35:13 2008 +0300
+++ b/src/skins/ui_skinned_textbox.c	Mon Jul 14 11:54:07 2008 +0200
@@ -185,11 +185,18 @@
 
 static void ui_skinned_textbox_destroy(GtkObject *object) {
     UiSkinnedTextbox *textbox;
+    UiSkinnedTextboxPrivate *priv;
 
     g_return_if_fail (object != NULL);
     g_return_if_fail (UI_SKINNED_IS_TEXTBOX (object));
 
     textbox = UI_SKINNED_TEXTBOX (object);
+    priv = UI_SKINNED_TEXTBOX_GET_PRIVATE(object);
+
+    if (priv->scroll_timeout) {
+        g_source_remove(priv->scroll_timeout);
+        priv->scroll_timeout = 0;
+    }
 
     if (GTK_OBJECT_CLASS (parent_class)->destroy)
         (* GTK_OBJECT_CLASS (parent_class)->destroy) (object);