static void panel_action_protocol_kill_dialog (GdkScreen *screen, guint32 activate_time) { panel_force_quit (screen, activate_time); }
/* Force Quit */ static void panel_action_force_quit (GtkWidget *widget) { panel_force_quit (gtk_widget_get_screen (widget), gtk_get_current_event_time ()); }