<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- theme_sel.c.orig	2011-07-24 10:35:40.000000000 +0200
+++ theme_sel.c	2011-07-24 10:43:33.000000000 +0200
@@ -110,7 +110,7 @@
 		GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC);
 	gtk_container_add(GTK_CONTAINER(sw), theme_list);
 
-	gtk_timeout_add(0, (GtkFunction)theme_list_focus, theme_list);
+	gtk_timeout_add(0, (GSourceFunc)theme_list_focus, theme_list);
 
 	return sw;
 }
</pre></body></html>