akkartik/pothi.love - Change OEWRTQIK5VNX6GEQF4JYHELTZSTLJKQARLIC557M53RJVJD2YDRQC

every definition on the surface is now always in Definitions

If it has a name, it'll try to be keyed by its name. If it is empty or the name collides it'll have a positional name.

Created by Kartik K. Agaram on December 26, 2022

OEWRTQIK5VNX6GEQF4JYHELTZSTLJKQARLIC557M53RJVJD2YDRQC

Dependencies

In channels

main

Change contents

Replacement in head at line 1 [3.10815]
B:BD[3.10815] → [2.12:15]
```
507
```
[3.10815]
```
529
```

File addition: 0529-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	--print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			--print('found at index', pos)
			assert(pos)
			table.remove(Definitions, pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			--print('found at key', old_definition_name)
			Definitions[old_definition_name] = nil
		end
		if definition_name and Definitions[definition_name] == nil then
			--print('moving to key', definition_name)
			Definitions[definition_name] = Cursor_node
		elseif definition_name == nil or Definitions[definition_name] then
			-- temporary collision; try again later
			-- deleting and reinserting is inefficient, but hopefully rare
			--print('moving to index', #Definitions+1)
			table.insert(Definitions, Cursor_node)
		end
		--print('-- definition keys')
		--for k in pairs(Definitions) do
			--print(k)
		--end
	end
end

File addition: 0529-manifest (----------)

[4.2]

{"on.code_change":306,"box_height":345,"font":353,"compute_layout":385,"Definitions":503,"parent":528,"scale":7,"Surface":422,"A":507,"add_thick_line":400,"on.draw":452,"vx":5,"copy_shape":396,"vy":462,"update_editor_box":479,"sy":469,"on.initialize":506,"on.mouse_release":367,"initialize_editor":450,"on.update":368,"schema1_of_y":467,"on.keychord_press":522,"B":379,"Page":475,"Cursor_node":172,"Manifest":494,"Manifest_navigator":495,"on.mouse_press":179,"Viewport":505,"on":1,"load_manifest":496,"on.text_input":521,"maybe_update_key_in_definitions":529,"y_of_schema1":364,"new_definition":504,"to_text":180,"get_manifest":497,"line_height":365}

File addition: 0528-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
			assert(pos)
			table.remove(Definitions, pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			Definitions[old_definition_name] = nil
		end
		if definition_name and Definitions[definition_name] == nil then
			print('moving to key', definition_name)
			Definitions[definition_name] = Cursor_node
		elseif definition_name == nil or Definitions[definition_name] then
			-- temporary collision; try again later
			-- deleting and reinserting is inefficient, but hopefully rare
			print('moving to index', #Definitions+1)
			table.insert(Definitions, Cursor_node)
		end
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0528-manifest (----------)

[4.2]

{"Viewport":505,"line_height":365,"vy":462,"on.initialize":506,"update_editor_box":479,"Manifest":494,"load_manifest":496,"on":1,"copy_shape":396,"A":507,"schema1_of_y":467,"Definitions":503,"B":379,"parent":527,"on.code_change":306,"maybe_update_key_in_definitions":528,"Surface":422,"on.text_input":521,"Cursor_node":172,"vx":5,"sy":469,"y_of_schema1":364,"to_text":180,"new_definition":504,"compute_layout":385,"on.mouse_release":367,"initialize_editor":450,"get_manifest":497,"scale":7,"Page":475,"font":353,"add_thick_line":400,"on.keychord_press":522,"on.update":368,"on.mouse_press":179,"on.draw":452,"Manifest_navigator":495,"box_height":345}

File addition: 0527-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
			assert(pos)
			table.remove(Definitions, pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			Definitions[old_definition_name] = nil
		end
		if definition_name and Definitions[definition_name] == nil then
			print('moving to key', definition_name)
			Definitions[definition_name] = Cursor_node
		elseif definition_name == nil or Definitions[definition_name] then
			-- temporary collision; try again later
			-- deleting and reinserting is inefficient, but hopefully rare
			print('moving to index', #Definitions+1)
			table.insert(Definitions, definition_name)
		end
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0527-manifest (----------)

[4.2]

{"on.update":368,"on.keychord_press":522,"load_manifest":496,"Page":475,"scale":7,"add_thick_line":400,"copy_shape":396,"to_text":180,"initialize_editor":450,"sy":469,"Manifest_navigator":495,"parent":526,"font":353,"maybe_update_key_in_definitions":527,"box_height":345,"compute_layout":385,"on":1,"on.code_change":306,"vx":5,"Surface":422,"Definitions":503,"schema1_of_y":467,"on.draw":452,"line_height":365,"Manifest":494,"on.mouse_release":367,"Viewport":505,"B":379,"Cursor_node":172,"y_of_schema1":364,"A":507,"vy":462,"get_manifest":497,"new_definition":504,"on.mouse_press":179,"on.initialize":506,"on.text_input":521,"update_editor_box":479}

File addition: 0526-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
			assert(pos)
			table.remove(Definitions, pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			Definitions[old_definition_name] = nil
		end
		if definition_name and Definitions[definition_name] == nil then
			print('moving to key', definition_name)
			Definitions[definition_name] = Cursor_node
		elseif definition_name == nil or Definitions[definition_name] then
			-- temporary collision; try again later
			-- deleting and reinserting is inefficient, but hopefully rare
			print('moving to index', #Definitions)
			table.insert(Definitions, definition_name)
		end
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0526-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"get_manifest":497,"on.keychord_press":522,"on.text_input":521,"update_editor_box":479,"line_height":365,"on.initialize":506,"Definitions":503,"to_text":180,"new_definition":504,"parent":525,"on":1,"schema1_of_y":467,"on.draw":452,"scale":7,"box_height":345,"vx":5,"compute_layout":385,"Manifest":494,"y_of_schema1":364,"on.code_change":306,"initialize_editor":450,"maybe_update_key_in_definitions":526}

File addition: 0525-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
			assert(pos)
			table.remove(Definitions, pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			Definitions[old_definition_name] = nil
		end
		if definition_name and Definitions[definition_name] == nil then
			print('moving to key', definition_name)
			Definitions[definition_name] = Cursor_node
		elseif Definitions[definition_name] then
			-- temporary collision; try again later
			-- deleting and reinserting is inefficient, but hopefully rare
			print('moving to index', #Definitions)
			table.insert(Definitions, definition_name)
		end
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0525-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"get_manifest":497,"on.keychord_press":522,"on.text_input":521,"update_editor_box":479,"line_height":365,"on.initialize":506,"Definitions":503,"to_text":180,"new_definition":504,"parent":524,"on":1,"schema1_of_y":467,"on.draw":452,"scale":7,"box_height":345,"vx":5,"compute_layout":385,"Manifest":494,"y_of_schema1":364,"on.code_change":306,"initialize_editor":450,"maybe_update_key_in_definitions":525}

File addition: 0524-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
			assert(pos)
			table.remove(Definitions, pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			Definitions[old_definition] = nil
		end
		if definition_name and Definitions[definition_name] == nil then
			print('moving to key', definition_name)
			Definitions[definition_name] = Cursor_node
		elseif Definitions[definition_name] then
			-- temporary collision; try again later
			-- deleting and reinserting is inefficient, but hopefully rare
			print('moving to index', #Definitions)
			table.insert(Definitions, definition_name)
		end
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0524-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"get_manifest":497,"on.keychord_press":522,"on.text_input":521,"update_editor_box":479,"line_height":365,"on.initialize":506,"Definitions":503,"to_text":180,"new_definition":504,"parent":522,"on":1,"schema1_of_y":467,"on.draw":452,"scale":7,"box_height":345,"vx":5,"compute_layout":385,"Manifest":494,"y_of_schema1":364,"on.code_change":306,"initialize_editor":450,"maybe_update_key_in_definitions":524}

File addition: 0523-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
			assert(pos)
			table.remove(Definitions, pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			Definitions[old_definition] = nil
		end
		if definition_name and Definitions[definition_name] == nil then
			print('moving to key', definition_name)
			Definitions[definition_name] = Cursor_node
		elseif Definitions[definition_name] the
			-- temporary collision; try again later
			-- deleting and reinserting is inefficient, but hopefully rare
			print('moving to index', #Definitions)
			table.insert(Definitions, definition_name)
		end
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0523-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"initialize_editor":450,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"get_manifest":497,"on.keychord_press":522,"on.text_input":521,"parent":522,"line_height":365,"on.initialize":506,"Definitions":503,"font":353,"new_definition":504,"update_editor_box":479,"on":1,"schema1_of_y":467,"Manifest":494,"scale":7,"box_height":345,"compute_layout":385,"y_of_schema1":364,"vx":5,"on.draw":452,"on.code_change":306,"to_text":180,"maybe_update_key_in_definitions":523}

File addition: 0522-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	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()
	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

File addition: 0522-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"initialize_editor":450,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"get_manifest":497,"on.keychord_press":522,"on.text_input":521,"parent":521,"line_height":365,"on.initialize":506,"Definitions":503,"font":353,"new_definition":504,"update_editor_box":479,"on":1,"schema1_of_y":467,"Manifest":494,"scale":7,"box_height":345,"compute_layout":385,"y_of_schema1":364,"vx":5,"on.draw":452,"on.code_change":306,"to_text":180,"maybe_update_key_in_definitions":519}

File addition: 0521-on.text_input (----------)

[4.2]

on.text_input = function(t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	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.text_input(Cursor_node.editor, t)
		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)
	end
end

File addition: 0521-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"initialize_editor":450,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"get_manifest":497,"on.keychord_press":513,"on.text_input":521,"parent":519,"line_height":365,"on.initialize":506,"Definitions":503,"font":353,"new_definition":504,"update_editor_box":479,"on":1,"schema1_of_y":467,"Manifest":494,"scale":7,"box_height":345,"compute_layout":385,"y_of_schema1":364,"vx":5,"on.draw":452,"on.code_change":306,"to_text":180,"maybe_update_key_in_definitions":519}

File addition: 0520-on.text_input (----------)

[4.2]

on.text_input = function(t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	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.text_input(Cursor_node.editor, t)
		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)
		end
		A(--[[preserve screen_top of cursor node]] true)
	end
end

File addition: 0520-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"initialize_editor":450,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"on.draw":452,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":519,"on.keychord_press":513,"on.text_input":520,"y_of_schema1":364,"to_text":180,"on.initialize":506,"Definitions":503,"get_manifest":497,"new_definition":504,"update_editor_box":479,"on":1,"schema1_of_y":467,"Manifest_navigator":495,"scale":7,"box_height":345,"line_height":365,"compute_layout":385,"vx":5,"Manifest":494,"on.code_change":306,"font":353,"maybe_update_key_in_definitions":519}

File addition: 0519-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, Cursor_node)
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			-- Definitions[old_definition] = nil
		end
		print('current definition name', definition_name)
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0519-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"initialize_editor":450,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"on.draw":452,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":517,"on.keychord_press":513,"on.text_input":517,"y_of_schema1":364,"to_text":180,"on.initialize":506,"Definitions":503,"get_manifest":497,"new_definition":504,"update_editor_box":479,"on":1,"schema1_of_y":467,"Manifest_navigator":495,"scale":7,"box_height":345,"line_height":365,"compute_layout":385,"vx":5,"Manifest":494,"on.code_change":306,"font":353,"maybe_update_key_in_definitions":519}

File addition: 0518-maybe_update_key_in_definitions (----------)

[4.2]

maybe_update_key_in_definitions = function(old_definition_name, definition_name, )
	print(old_definition_name, definition_name)
	if old_definition_name ~= definition_name then
		if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
			local pos = array.find(Definitions, Cursor_node)
			print('found at index', pos)
		elseif Definitions[old_definition_name] == Cursor_node then
			print('found at key', old_definition_name)
			-- Definitions[old_definition] = nil
		end
		print('current definition name', definition_name)
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
	end
end

File addition: 0518-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":517,"on.keychord_press":513,"on.text_input":517,"get_manifest":497,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"maybe_update_key_in_definitions":518}

File addition: 0517-on.text_input (----------)

[4.2]

on.text_input = function(t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	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.text_input(Cursor_node.editor, t)
		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)
		print(old_definition_name, definition_name)
		if old_definition_name ~= definition_name then
			if old_definition_name == nil or Definitions[old_definition_name] ~= Cursor_node then
				local pos = array.find(Definitions, Cursor_node)
				print('found at index', pos)
			elseif Definitions[old_definition_name] == Cursor_node then
				print('found at key', old_definition_name)
				-- Definitions[old_definition] = nil
			end
			print('current definition name', definition_name)
			print('-- definition keys')
			for k in pairs(Definitions) do
				print(k)
			end
		end
		A(--[[preserve screen_top of cursor node]] true)
	end
end

File addition: 0517-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":516,"on.keychord_press":513,"on.text_input":517,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0516-on.text_input (----------)

[4.2]

on.text_input = function(t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	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.text_input(Cursor_node.editor, t)
		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)
		print(old_definition_name, definition_name)
		if old_definition_name ~= definition_name or Definitions[old_definition_name] ~= Cursor_node then
			if old_definition_name == nil then
				local pos = array.find(Definitions, Cursor_node)
				print('found at index', pos)
			elseif Definitions[old_definition_name] == Cursor_node then
				print('found at key', old_definition_name)
				-- Definitions[old_definition] = nil
			end
			print('current definition name', definition_name)
			print('-- definition keys')
			for k in pairs(Definitions) do
				print(k)
			end
		end
		A(--[[preserve screen_top of cursor node]] true)
	end
end

File addition: 0516-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":515,"on.keychord_press":513,"on.text_input":516,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0515-on.text_input (----------)

[4.2]

on.text_input = function(t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	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.text_input(Cursor_node.editor, t)
		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)
		print(old_definition_name, definition_name)
		if old_definition_name ~= definition_name then
			if old_definition_name == nil then
				local pos = array.find(Definitions, Cursor_node)
				print('found at index', pos)
			elseif Definitions[old_definition_name] == Cursor_node then
				print('found at key', old_definition_name)
				-- Definitions[old_definition] = nil
			end
			print('current definition name', definition_name)
			print('-- definition keys')
			for k in pairs(Definitions) do
				print(k)
			end
		end
		A(--[[preserve screen_top of cursor node]] true)
	end
end

File addition: 0515-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":514,"on.keychord_press":513,"on.text_input":515,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0514-on.text_input (----------)

[4.2]

on.text_input = function(t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	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.text_input(Cursor_node.editor, t)
		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)
		if old_definition_name ~= definition_name then
			if old_definition_name == nil then
				local pos = array.find(Definitions, Cursor_node)
				print('found at index', pos)
			elseif Definitions[old_definition_name] == Cursor_node then
				print('found at key', old_definition_name)
				-- Definitions[old_definition] = nil
			end
			print('current definition name', definition_name)
			print('-- definition keys')
			for k in pairs(Definitions) do
				print(k)
			end
		end
		A(--[[preserve screen_top of cursor node]] true)
	end
end

File addition: 0514-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":513,"on.keychord_press":513,"on.text_input":514,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0513-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	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()
	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)
		if old_definition_name ~= definition_name then
			if old_definition_name == nil then
				local pos = array.find(Definitions, Cursor_node)
				print('found at index', pos)
			elseif Definitions[old_definition_name] == Cursor_node then
				print('found at key', old_definition_name)
				-- Definitions[old_definition] = nil
			end
			print('current definition name', definition_name)
			print('-- definition keys')
			for k in pairs(Definitions) do
				print(k)
			end
		end
		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

File addition: 0513-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":512,"on.keychord_press":513,"on.text_input":511,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0512-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	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()
	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}
		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)
		print('current definition name', definition_name)
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
		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

File addition: 0512-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":511,"on.keychord_press":512,"on.text_input":511,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0511-on.text_input (----------)

[4.2]

on.text_input = function(t)
	if Manifest_navigator.show then
		text_input_on_manifest_navigator(t)
	elseif Cursor_node then
		local old_top = {line=Cursor_node.editor.screen_top1.line, pos=Cursor_node.editor.screen_top1.pos}
		edit.text_input(Cursor_node.editor, t)
		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)
		print('current definition name', definition_name)
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
		A(--[[preserve screen_top of cursor node]] true)
	end
end

File addition: 0511-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":510,"on.keychord_press":510,"on.text_input":511,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0510-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	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()
	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}
		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
		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

File addition: 0510-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":509,"on.keychord_press":510,"on.text_input":487,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0509-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	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()
	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}
		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)
		print('current definition name', definition_name)
		print('-- definition keys')
		for k in pairs(Definitions) do
			print(k)
		end
		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

File addition: 0509-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":508,"on.keychord_press":509,"on.text_input":487,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

File addition: 0508-on.keychord_press (----------)

[4.2]

on.keychord_press = function(chord, key)
	print('-- definition keys')
	for k in pairs(Definitions) do
		print(k)
	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()
	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}
		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
		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

File addition: 0508-manifest (----------)

[4.2]

{"A":507,"B":379,"Viewport":505,"vy":462,"on.mouse_press":179,"on.mouse_release":367,"font":353,"on.update":368,"add_thick_line":400,"Surface":422,"copy_shape":396,"Page":475,"Manifest_navigator":495,"Cursor_node":172,"load_manifest":496,"sy":469,"parent":507,"on.keychord_press":508,"on.text_input":487,"to_text":180,"on.initialize":506,"Definitions":503,"vx":5,"new_definition":504,"on.draw":452,"on":1,"schema1_of_y":467,"y_of_schema1":364,"scale":7,"box_height":345,"initialize_editor":450,"compute_layout":385,"Manifest":494,"line_height":365,"on.code_change":306,"update_editor_box":479,"get_manifest":497}

every definition on the surface is now always in Definitions

Dependencies

In channels

Change contents

Replacement in head at line 1 [3.10815]

File addition: 0529-maybe_update_key_in_definitions (----------)

File addition: 0529-manifest (----------)

File addition: 0528-maybe_update_key_in_definitions (----------)

File addition: 0528-manifest (----------)

File addition: 0527-maybe_update_key_in_definitions (----------)

File addition: 0527-manifest (----------)

File addition: 0526-maybe_update_key_in_definitions (----------)

File addition: 0526-manifest (----------)

File addition: 0525-maybe_update_key_in_definitions (----------)

File addition: 0525-manifest (----------)

File addition: 0524-maybe_update_key_in_definitions (----------)

File addition: 0524-manifest (----------)

File addition: 0523-maybe_update_key_in_definitions (----------)

File addition: 0523-manifest (----------)

File addition: 0522-on.keychord_press (----------)

File addition: 0522-manifest (----------)

File addition: 0521-on.text_input (----------)

File addition: 0521-manifest (----------)

File addition: 0520-on.text_input (----------)

File addition: 0520-manifest (----------)

File addition: 0519-maybe_update_key_in_definitions (----------)

File addition: 0519-manifest (----------)

File addition: 0518-maybe_update_key_in_definitions (----------)

File addition: 0518-manifest (----------)

File addition: 0517-on.text_input (----------)

File addition: 0517-manifest (----------)

File addition: 0516-on.text_input (----------)

File addition: 0516-manifest (----------)

File addition: 0515-on.text_input (----------)

File addition: 0515-manifest (----------)

File addition: 0514-on.text_input (----------)

File addition: 0514-manifest (----------)

File addition: 0513-on.keychord_press (----------)

File addition: 0513-manifest (----------)

File addition: 0512-on.keychord_press (----------)

File addition: 0512-manifest (----------)

File addition: 0511-on.text_input (----------)

File addition: 0511-manifest (----------)

File addition: 0510-on.keychord_press (----------)

File addition: 0510-manifest (----------)

File addition: 0509-on.keychord_press (----------)

File addition: 0509-manifest (----------)

File addition: 0508-on.keychord_press (----------)

File addition: 0508-manifest (----------)