*-----------------------------------------------------------------------------
*/
-static void popup_menu_short_lived_cb(GtkWidget *widget, gpointer data)
+static void popup_menu_short_lived_cb(GtkWidget *UNUSED(widget), gpointer data)
{
/* destroy the menu */
g_object_unref(G_OBJECT(data));