add: break;
context: key_press_event (GtkWidget *widget, GdkEventKey *event){    GdkCursor *cursor;    switch (screen.state) {    case NORMAL:	switch(event->keyval) {	case GDK_Shift_L:	case GDK_Shift_R:	    cursor = gdk_cursor_new(GDK_CROSSHAIR);	    gdk_window_set_cursor(gtk_widget_get_parent_window(screen.drawing_area),				  cursor);	    gdk_cursor_destroy(cursor);	    break;	case GDK_Alt_L:	case GDK_Alt_R: 	    screen.state = ALT_PRESSED;	    screen.selected_layer = -1;	    break;	}	break;    case ALT_PRESSED:	if ((event->keyval >= GDK_KP_0) &&	    (event->keyval <= GDK_KP_9)) {	    if (screen.selected_layer == -1) 		screen.selected_layer = event->keyval - GDK_KP_0;	    else		screen.selected_layer = 10 * screen.selected_layer + 		    (event->keyval - GDK_KP_0);	}	break;    default:    }	        /* Escape may be used to abort outline zoom and just plain repaint */    if (event->keyval == GDK_Escape) {	GdkRectangle update_rect;	screen.state = NORMAL;	screen.statusbar.diststr[0] = '\0';	update_statusbar(&screen);	update_rect.x = 0, update_rect.y = 0;	update_rect.width =	widget->allocation.width;	update_rect.height = widget->allocation.height;	/*	 * Calls expose_event	 */	gtk_widget_draw(widget, &update_rect);    }    return TRUE;} /* key_press_event */