animate_viewport_to = function(v)
	local global_viewport, globalw, globalh = initialize_global_viewport()
	local canvas = snapshot_canvas(global_viewport, globalw, globalh)
	v = v or global_viewport
	local initial = copy_viewport(Viewport)
	local final = v
	local step, frame_time = 0, 0
	while true do
		love.event.pump()
		for name, a,b,c,d,e,f in love.event.poll() do
			if name == "quit" then
				os.exit(0)
			end
			-- ignore other events
		end
		-- update
		dt = love.timer.step()
		frame_time = frame_time + dt
		if frame_time > 0.01 then
			frame_time = frame_time - 0.01
			step = step + 1
			if step > Num_animation_frames then
				break
			end
			interpolate_viewport(initial, final, step)
--? 			print('animation frame: Viewport is now', Viewport.x, Viewport.y, Viewport.zoom)
			B()
		end
		-- draw
		love.graphics.origin()
		love.graphics.clear(love.graphics.getBackgroundColor())
		local q = love.graphics.newQuad(
			(Viewport.x-global_viewport.x)*Viewport.zoom,
			(Viewport.y-global_viewport.y)*Viewport.zoom,
			App.screen.width,
			App.screen.height,
			globalw*Viewport.zoom,
			globalh*Viewport.zoom)
		App.color{r=1,g=1,b=1}
		love.graphics.draw(canvas, q, 0,0)
		love.graphics.present()
		love.timer.sleep(0.001)
	end
	A()
end

	Disallow_error_recovery_on_key_release = true
	Disallow_error_recovery_on_key_release = nil
	Viewport = saved_viewport
	local w = math.min(16000, App.screen.width)
	local h = math.min(16000, App.screen.height)

	animate_viewport_to(--[[global viewport]] nil)
	animate_viewport_to(initial_viewport)
	print('Viewport at end of survey animation', Viewport.x, Viewport.y, Viewport.zoom)

	animate_viewport_to(Save_viewport)
	print('Viewport at end of undo zoom out animation', Viewport.x, Viewport.y, Viewport.zoom)

	animate_viewport_to{
		x=sx(x)-App.screen.width/Save_viewport.zoom/2,
		y=sy(y)-App.screen.height/Save_viewport.zoom/2,
		zoom=Save_viewport.zoom,
	}

	animate_viewport_to(--[[global viewport]] nil)
	print('Viewport at end of zoom out animation', Viewport.x, Viewport.y, Viewport.zoom)