<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- util.c.orig	2011-01-24 16:46:56.000000000 +0100
+++ util.c	2011-01-24 16:47:32.000000000 +0100
@@ -19,7 +19,7 @@
 
 GtkWidget* unfocussable(GtkWidget *w)
 {
-	GTK_WIDGET_UNSET_FLAGS(w, GTK_CAN_FOCUS);
+	gtk_widget_set_can_focus(w, FALSE);
 	return w;
 }
 
</pre></body></html>