rem: if (screen.state == ZOOM_OUTLINE) {
add: if (screen.state == MOVE) { screen.state = NORMAL;  redraw_pixmap(screen.drawing_area); } else if (screen.state == ZOOM_OUTLINE) {
context: button_release_event (GtkWidget *widget, GdkEventButton *event){    if (event->type == GDK_BUTTON_RELEASE) {	if (screen.state == ZOOM_OUTLINE) {	    screen.state = NORMAL;	    zoom_outline(widget, event);	} else if (!(event->state & GDK_SHIFT_MASK)) {	    gdk_window_set_cursor(gtk_widget_get_parent_window(widget),				  GERBV_DEF_CURSOR);	}	screen.last_x = screen.last_y = 0;	screen.state = NORMAL;    }    return TRUE;} /* button_release_event */