From f15ef45b1d98d0dfefebc56619a3454798c66384 Mon Sep 17 00:00:00 2001 From: Alberto Garcia Date: Tue, 10 Mar 2009 18:19:12 +0000 Subject: [PATCH] Minor style fix for the previous commit --- src/hildon-app-menu.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/hildon-app-menu.c b/src/hildon-app-menu.c index a7d4996..d35f7cf 100644 --- a/src/hildon-app-menu.c +++ b/src/hildon-app-menu.c @@ -687,8 +687,8 @@ hildon_app_menu_button_release (GtkWidget *widget, } static gboolean -hildon_app_menu_delete_event_handler (GtkWidget *widget, - GdkEventAny *event) +hildon_app_menu_delete_event_handler (GtkWidget *widget, + GdkEventAny *event) { /* Hide the menu if it receives a delete-event, but don't destroy it */ gtk_widget_hide (widget); -- 1.7.9.5