add: */
context: static gint pause_game_cb (GtkWidget *widget, gpointer data){	if (paused) {		paused = 0;		main_id = gtk_timeout_add (GAMEDELAY * properties->gamespeed,				(GtkFunction) main_loop, NULL);		keyboard_id = gtk_signal_connect (GTK_OBJECT (window),			"key_press_event", GTK_SIGNAL_FUNC (key_press_cb),			NULL);		add_bonus_id = gtk_timeout_add (BONUSDELAY *				properties->gamespeed, (GtkFunction) add_bonus,				NULL);			} else {		if (main_id || erase_id || restart_id) {			paused = 1;			if (main_id) {				gtk_timeout_remove (main_id);				main_id = 0;			}			if (keyboard_id) {				gtk_timeout_remove (keyboard_id);				keyboard_id = 0;			}			if (add_bonus_id) {				gtk_timeout_remove (add_bonus_id);				add_bonus_id = 0;			}			if (restart_id) {				gtk_timeout_remove (restart_id);				restart_id = 0;			}		}	}}