742

765

{"tick_spec":660,"on_handle":547,"on_text":539,"Menu_background_color":611,"on.mouse_press":722,"Menu_border_color":612,"Menu_command_color":613,"load_definition":716,"Menu_highlight_color":614,"draw_menu_bar":641,"add_hotkey_to_menu":616,"box_height":680,"on.key_release":720,"num_lines_for_manifest_navigator":676,"on.save_settings":742,"on.load_settings":700,"A":713,"on.draw":565,"mouse_cursor":558,"y_of_schema1":364,"table_and_array_both_empty":689,"Viewport":604,"manifest_navigator_up":628,"manifest_navigator_down":635,"delete_definition":673,"on.mouse_release":721,"on.update":741,"--":727,"manifest_coord":636,"Page":475,"manifest_index":637,"sy":469,"approximate_up":658,"Animating":726,"scale":712,"copy_shape":396,"Ticks_font":669,"Manifest_navigator":495,"update_editor_box":711,"on.code_change":734,"on.text_input":521,"schema1_of_y":667,"on.initialize":695,"Manifest":494,"add_thick_line":400,"maybe_update_key_in_definitions":529,"load_manifest":694,"load_from_iterator":670,"get_manifest":706,"reset_manifest_navigator":621,"draw_cursor":639,"get_definition_from_app":735,"draw_manifest_navigator":677,"line_height":365,"B":379,"Definitions":503,"fw_parent":742,"new_definition":681,"fw_app":"driver","compute_layout":385,"set_mouse_cursor":562,"approximate":579,"manifest_navigator_candidates":638,"text_input_on_manifest_navigator":634,"font":353,"add_def_to_menu":640,"order_of_magnitude":573,"keychord_press_on_manifest_navigator":765,"initialize_editor":678,"move_candidate_to_front_of_manifest":632,"draw_ticks":663,"vy":546,"Cursor_node":172,"Mouse_cursor":559,"vx":545,"Surface":422,"sx":544,"on":1,"on.keychord_press":739}

keychord_press_on_manifest_navigator = function(chord, key)
	if chord == 'escape' then
		reset_manifest_navigator()
	elseif chord == 'return' then
		if Manifest_navigator.for_delete then
			delete_definition(Manifest_navigator.candidates[Manifest_navigator.index])
		else
			load_definition(Manifest_navigator.candidates[Manifest_navigator.index])
		end
		A()
		reset_manifest_navigator()
	elseif chord == 'backspace' then
		local len = utf8.len(Manifest_navigator.filter)
		local byte_offset = Text.offset(Manifest_navigator.filter, len)
		Manifest_navigator.filter = string.sub(Manifest_navigator.filter, 1, byte_offset-1)
		Manifest_navigator.index = 1
		Manifest_navigator.candidates = manifest_navigator_candidates()
	elseif chord == 'left' then
		if Manifest_navigator.index > 1 then
			Manifest_navigator.index = Manifest_navigator.index-1
		end
	elseif chord == 'right' then
		if Manifest_navigator.index < #Manifest_navigator.candidates then
			Manifest_navigator.index = Manifest_navigator.index+1
		end
	elseif chord == 'down' then
		manifest_navigator_down()
	elseif chord == 'up' then
		manifest_navigator_up()
	end
end