609

610

on.keychord_press = function(chord, key)
	if Move then return end
	if Manifest_navigator.reload then
		load_manifest()
	end
	if chord == 'C-=' then
		-- zoom in
		Viewport.zoom = Viewport.zoom+0.1
		B()
	elseif chord == 'C--' then
		-- zoom out
		Viewport.zoom = Viewport.zoom-0.1
		B()
	elseif chord == 'C-0' then
		-- reset zoom
		Viewport.zoom = 1.0
		B()
	elseif chord == 'C-q' then
		live.send_to_app('QUIT')
	elseif Manifest_navigator.show then
		keychord_press_on_manifest_navigator(chord, key)
	elseif chord == 'C-n' then
		new_definition()
		A()
	elseif chord == 'C-l' then
		Manifest_navigator.show = true
		Manifest_navigator.for_delete = false
	elseif chord == 'C-d' then
		Manifest_navigator.show = true
		Manifest_navigator.for_delete = true
	elseif Cursor_node then
		local old_top = {line=Cursor_node.editor.screen_top1.line, pos=Cursor_node.editor.screen_top1.pos}
		local old_definition_name = live.get_cmd_from_buffer(Cursor_node.editor.lines[1].data)
		edit.keychord_press(Cursor_node.editor, chord, key)
		if not eq(Cursor_node.editor.screen_top1, old_top) then
			Viewport.y = Cursor_node.y + y_of_schema1(Cursor_node.editor, Cursor_node.editor.screen_top1)
		end
		local definition_name = live.get_cmd_from_buffer(Cursor_node.editor.lines[1].data)
		maybe_update_key_in_definitions(old_definition_name, definition_name, Cursor_node)
		A(--[[preserve screen_top of cursor node]] true)
	else
		if chord == 'up' then
			Viewport.y = Viewport.y - scale(20)
			B()
		elseif chord == 'down' then
			Viewport.y = Viewport.y + scale(20)
			B()
		elseif chord == 'left' then
			Viewport.x = Viewport.x - scale(50)
			B()
		elseif chord == 'right' then
			Viewport.x = Viewport.x + scale(50)
			B()
		elseif chord == 'pageup' then
			Viewport.y = Viewport.y - App.screen.height/Viewport.zoom
			B()
		elseif chord == 'S-up' then
			Viewport.y = Viewport.y - App.screen.height/Viewport.zoom
			B()
		elseif chord == 'pagedown' then
			Viewport.y = Viewport.y + App.screen.height/Viewport.zoom
			B()
		elseif chord == 'S-down' then
			Viewport.y = Viewport.y + App.screen.height/Viewport.zoom
			B()
		elseif chord == 'S-left' then
			Viewport.x = Viewport.x - App.screen.width/Viewport.zoom
			B()
		elseif chord == 'S-right' then
			Viewport.x = Viewport.x + App.screen.width/Viewport.zoom
			B()
		end
	end
end

{"update_editor_box":570,"on_text":539,"on.mouse_press":556,"on.draw":565,"sx":544,"schema1_of_y":467,"vx":545,"Manifest_navigator":495,"y_of_schema1":364,"load_manifest":496,"get_manifest":497,"Cursor_node":172,"on.mouse_release":554,"initialize_editor":450,"on":1,"Definitions":503,"new_definition":504,"scale":7,"Page":475,"vy":546,"compute_layout":385,"draw_ticks":609,"on.text_input":521,"on.initialize":506,"line_height":365,"on.keychord_press":610,"B":379,"order_of_magnitude":573,"font":353,"set_mouse_cursor":562,"Manifest":494,"Viewport":604,"approximate":579,"add_thick_line":400,"Mouse_cursor":559,"copy_shape":396,"mouse_cursor":558,"sy":469,"on.key_release":552,"parent":609,"A":507,"box_height":345,"Ticks_font":594,"on.update":561,"approximate_up":583,"on_handle":547,"on.code_change":306,"maybe_update_key_in_definitions":529,"Surface":422}