File pcsxr-fix-int-to-pointer-warning.patch of Package pcsxr

Index: pcsxr-1.9.92/plugins/dfxvideo/gpucfg-0.1df/main.c
===================================================================
--- pcsxr-1.9.92.orig/plugins/dfxvideo/gpucfg-0.1df/main.c
+++ pcsxr-1.9.92/plugins/dfxvideo/gpucfg-0.1df/main.c
@@ -55,11 +55,6 @@ void on_about_clicked(GtkWidget *widget,
 	exit (0);
 }
 
-void set_widget_sensitive(GtkWidget *widget, gpointer user_data)
-{
-	gtk_widget_set_sensitive (widget, (int)user_data);
-}
-
 void on_fullscreen_toggled(GtkWidget *widget, gpointer user_data)
 {
 	GtkWidget *check, *resCombo2;
@@ -69,7 +64,7 @@ void on_fullscreen_toggled(GtkWidget *wi
 	check = glade_xml_get_widget(xml, "checkFullscreen");
 	resCombo2 = glade_xml_get_widget(xml, "resCombo2");
 
-	set_widget_sensitive(resCombo2, !gtk_toggle_button_get_active(check));
+	gtk_widget_set_sensitive(resCombo2, !gtk_toggle_button_get_active(check));
 }
 
 void on_use_fixes_toggled(GtkWidget *widget, gpointer user_data)
@@ -82,8 +77,8 @@ void on_use_fixes_toggled(GtkWidget *wid
 	table_fixes = glade_xml_get_widget (xml, "table_fixes");
 
 	/* Set the state of each of the fixes to the value of the use fixes toggle */
-	gtk_container_foreach (GTK_CONTAINER (table_fixes), (GtkCallback) set_widget_sensitive,
-		(void *)gtk_toggle_button_get_active (check));
+	gtk_container_foreach (GTK_CONTAINER (table_fixes), (GtkCallback) gtk_widget_set_sensitive,
+		(gpointer)gtk_toggle_button_get_active (check));
 }
 
 void on_fps_toggled(GtkWidget *widget, gpointer user_data)
@@ -96,9 +91,9 @@ void on_fps_toggled(GtkWidget *widget, g
 	checkAutoFPSLimit = glade_xml_get_widget(xml, "checkAutoFPSLimit");
 	entryFPS = glade_xml_get_widget(xml, "entryFPS");
 
-	set_widget_sensitive(entryFPS,
+	gtk_widget_set_sensitive(entryFPS,
 		gtk_toggle_button_get_active(checkSetFPS) && !gtk_toggle_button_get_active(checkAutoFPSLimit));
-	set_widget_sensitive(checkAutoFPSLimit, gtk_toggle_button_get_active(checkSetFPS));
+	gtk_widget_set_sensitive(checkAutoFPSLimit, gtk_toggle_button_get_active(checkSetFPS));
 }
 
 void OnConfigClose(GtkWidget *widget, gpointer user_data)