diff gui/ui/gtk/about.c @ 34466:a650895d50a5

Use correct data types and common variable names in GTK callback functions. Don't use (void) user_data.
author ib
date Fri, 13 Jan 2012 14:06:55 +0000
parents 335de7e0f6ed
children e27855a45128
line wrap: on
line diff
--- a/gui/ui/gtk/about.c	Thu Jan 12 18:21:56 2012 +0000
+++ b/gui/ui/gtk/about.c	Fri Jan 13 14:06:55 2012 +0000
@@ -35,7 +35,7 @@
  gtk_widget_show( About );
 }
 
-static void abWidgetDestroy( GtkWidget * widget, GtkWidget ** widget_pointer )
+static void abWidgetDestroy( GtkButton * button, gpointer user_data )
 { WidgetDestroy( NULL,&About ); }
 
 GtkWidget * create_About( void )