diff gui/dialog/about.c @ 36010:5c720c434d56

Silence "warning: unused parameter".
author ib
date Sat, 30 Mar 2013 15:09:51 +0000
parents d154d0035cb0
children d2d776c8e040
line wrap: on
line diff
--- a/gui/dialog/about.c	Sat Mar 30 14:33:35 2013 +0000
+++ b/gui/dialog/about.c	Sat Mar 30 15:09:51 2013 +0000
@@ -29,7 +29,12 @@
 GtkWidget * About = NULL;
 
 static void abWidgetDestroy( GtkButton * button, gpointer user_data )
-{ gtk_widget_destroy( About ); }
+{
+  (void) button;
+  (void) user_data;
+
+  gtk_widget_destroy( About );
+}
 
 static GtkWidget * CreateAbout( void )
 {