blob: b207f9da1079837f7c50e4b44e0241da3546970d (
plain) (
tree)
|
|
--- spectool_gtk.c.orig 2014-06-10 21:22:30.000000000 +0200
+++ spectool_gtk.c 2014-06-10 21:22:51.000000000 +0200
@@ -182,7 +182,7 @@ static gboolean main_nodev_menu_button_p
GtkWidget *menu;
nb_aux *nbaux = (nb_aux *) aux;
- g_return_if_fail(aux != NULL);
+ g_return_val_if_fail(aux != NULL, FALSE);
if (event->type == GDK_BUTTON_PRESS) {
GdkEventButton *bevent = (GdkEventButton *) event;
|