akkartik/pothi.love - Change BPKE3AXOWROQM5MDU7HVQ3VLNTJDD4LCH5OBCRE7SZAJDFDSNQ4QC

show coordinates

This was particularly fun to do live.

Created by Kartik K. Agaram on December 26, 2022

BPKE3AXOWROQM5MDU7HVQ3VLNTJDD4LCH5OBCRE7SZAJDFDSNQ4QC

Dependencies

In channels

main

Change contents

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

File addition: 0609-manifest (----------)

[4.2]

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

File addition: 0609-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	love.graphics.setColor(0.6,0.6,0.6)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	while vx(anchorhi+scale) < App.screen.width-20 do
		anchorhi = anchorhi+scale
	end
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
		love.graphics.line(vx(x), App.screen.height, vx(x), App.screen.height-5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, App.screen.height-15)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vy(anchorlo-scale) > Menu_bar_height+20 do
		anchorlo = anchorlo-scale
	end
	while vy(anchorhi+scale) < App.screen.height-20 do
		anchorhi = anchorhi+scale
	end
	for y=anchorlo,anchorhi,scale do
		love.graphics.line(0, vy(y), 5, vy(y))
		love.graphics.print(('%2.0f'):format(y), 5, vy(y)+2)
		love.graphics.line(App.screen.width, vy(y), App.screen.width-5, vy(y))
		love.graphics.print(('%2.0f'):format(y), App.screen.width-20, vy(y)+2)
	end
	love.graphics.setFont(old_font)
end

File addition: 0608-manifest (----------)

[4.2]

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

File addition: 0608-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	love.graphics.setColor(0.6,0.6,0.6)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	while vx(anchorhi+scale) < App.screen.width-20 do
		anchorhi = anchorhi+scale
	end
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
		love.graphics.line(vx(x), App.screen.height, vx(x), App.screen.height-5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, App.screen.height-15)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vy(anchorlo-scale) > Menu_bar_height+20 do
		anchorlo = anchorlo-scale
	end
	while vy(anchorhi+scale) < App.screen.height-20 do
		anchorhi = anchorhi+scale
	end
	for y=anchorlo,anchorhi,scale do
		love.graphics.line(0, vy(y), 5, vy(y))
		love.graphics.print(('%2.0f'):format(y), 5, vy(y)+2)
		love.graphics.line(App.screen.width, vy(y), App.screen.width-5, vy(y))
		love.graphics.print(('%2.0f'):format(y), App.screen.width-20, vy(y)+2)
	end
	love.graphics.setFont(old_font)
end

File addition: 0607-manifest (----------)

[4.2]

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

File addition: 0607-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	love.graphics.setColor(0.6,0.6,0.6)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	while vx(anchorhi+scale) < App.screen.width-20 do
		anchorhi = anchorhi+scale
	end
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
		love.graphics.line(vx(x), App.screen.height, vx(x), App.screen.height-5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, App.screen.height-15)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vy(anchorlo-scale) > Menu_bar_height+20 do
		anchorlo = anchorlo-scale
	end
	while vy(anchorhi+scale) < App.screen.height-20 do
		anchorhi = anchorhi+scale
	end
	for y=anchorlo,anchorhi,scale do
		love.graphics.line(0, vy(y), 5, vy(y))
		love.graphics.print(('%2.0f'):format(y), vy(y)+2, 5)
		love.graphics.line(App.screen.width, vy(y), App.screen.width-5, vy(y))
		love.graphics.print(('%2.0f'):format(y), App.screen.width-20, vy(y)+2)
	end
	love.graphics.setFont(old_font)
end

File addition: 0606-manifest (----------)

[4.2]

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

File addition: 0606-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	love.graphics.setColor(0.6,0.6,0.6)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	while vx(anchorhi+scale) < App.screen.width-20 do
		anchorhi = anchorhi+scale
	end
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
		love.graphics.line(vx(x), App.screen.height, vx(x), App.screen.height-5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, App.screen.height-15)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vy(anchorlo-scale) > Menu_bar_height+20 do
		anchorlo = anchorlo-scale
	end
	while vy(anchorhi+scale) < App.screen.height-20 do
		anchorhi = anchorhi+scale
	end
	for y=anchorlo,anchorhi,scale do
		love.graphics.line(0, vy(y), 5, vy(y))
		love.graphics.print(('%2.0f'):format(y), vy(y)+2, 5)
		love.graphics.line(App.screen.width, vy(y), App.screen.width-5, vy(y))
		love.graphics.print(('%2.0f'):format(y), App.screen.width-30, vy(y)+2)
	end
	love.graphics.setFont(old_font)
end

File addition: 0605-manifest (----------)

[4.2]

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

File addition: 0605-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	love.graphics.setColor(0.6,0.6,0.6)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	while vx(anchorhi+scale) < App.screen.width-20 do
		anchorhi = anchorhi+scale
	end
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
		love.graphics.line(vx(x), App.screen.height, vx(x), App.screen.height-5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, App.screen.height-15)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vy(anchorlo-scale) > Menu_bar_height+20 do
		anchorlo = anchorlo-scale
	end
	while vy(anchorhi+scale) < App.screen.height-20 do
		anchorhi = anchorhi+scale
	end
	for y=anchorlo,anchorhi,scale do
		love.graphics.line(0, vy(y), 5, vy(y))
		love.graphics.print(('%2.0f'):format(y), vy(y)+2, 5)
		love.graphics.line(vx(x), App.screen.width, vy(y), App.screen.width-5)
		love.graphics.print(('%2.0f'):format(y), App.screen.width-30, vy(y)+2)
	end
	love.graphics.setFont(old_font)
end

File addition: 0604-manifest (----------)

[4.2]

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

File addition: 0604-Viewport (----------)

[4.2]

Viewport = {x=-50, y=-50, w=800,h=600, zoom=1.0}

File addition: 0603-manifest (----------)

[4.2]

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

File addition: 0603-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	while vx(anchorhi+scale) < App.screen.height-20 do
		anchorhi = anchorhi+scale
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
		love.graphics.line(vx(x), App.screen.height, vx(x), App.screen.height-5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, App.screen.height-15)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0602-manifest (----------)

[4.2]

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

File addition: 0602-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	while vx(anchorhi+scale) < App.screen.height-20 do
		anchorhi = anchorhi+scale
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0601-manifest (----------)

[4.2]

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

File addition: 0601-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	while vx(anchorlo-scale) > 0 do
		anchorlo = anchorlo-scale
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0600-manifest (----------)

[4.2]

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

File addition: 0600-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.0f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0599-manifest (----------)

[4.2]

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

File addition: 0599-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0598-manifest (----------)

[4.2]

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

File addition: 0598-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.1f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0597-manifest (----------)

[4.2]

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

File addition: 0597-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.1e'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0596-manifest (----------)

[4.2]

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

File addition: 0596-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.6,0.6,0.6)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.1f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0595-manifest (----------)

[4.2]

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

File addition: 0595-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.7,0.7,0.7)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.1f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0594-manifest (----------)

[4.2]

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

File addition: 0594-Ticks_font (----------)
[4.2]
```
Ticks_font = love.graphics.newFont(8)
```

File addition: 0593-manifest (----------)

[4.2]

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

File addition: 0593-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(1,0,0)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.1f'):format(x), vx(x)+2, Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0592-manifest (----------)

[4.2]

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

File addition: 0592-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(1,0,0)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.1f'):format(x), vx(x)+2, 5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0591-manifest (----------)

[4.2]

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

File addition: 0591-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.7,0.7,0.7)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		print('draw', vx(x)+2,5)
		love.graphics.print(('%2.1f'):format(x), vx(x)+2, 5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0590-manifest (----------)

[4.2]

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

File addition: 0590-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.7,0.7,0.7)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.1f'):format(x), vx(x)+2, 5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0589-manifest (----------)

[4.2]

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

File addition: 0589-Ticks_font (----------)
[4.2]
```
Ticks_font = love.graphics.newFont(20)
```

File addition: 0588-manifest (----------)

[4.2]

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

File addition: 0588-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(Ticks_font)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.7,0.7,0.7)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.1f'):format(x), x+2, 5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0587-manifest (----------)

[4.2]

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

File addition: 0587-Ticks_font (----------)
[4.2]
```
Ticks_font = love.graphics.newFont(8)
```

File addition: 0586-manifest (----------)

[4.2]

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

File addition: 0586-draw_ticks (----------)

[4.2]

draw_ticks = function()
	local old_font = love.graphics.getFont()
	love.graphics.setFont(8)
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.7,0.7,0.7)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
		love.graphics.print(('%2.1f'):format(x), x+2, 5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	love.graphics.setFont(old_font)
end

File addition: 0585-manifest (----------)

[4.2]

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

File addition: 0585-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.7,0.7,0.7)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), Menu_bar_height, vx(x), Menu_bar_height+5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0584-manifest (----------)

[4.2]

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

File addition: 0584-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	if (anchorhi-anchorlo)/scale < 5 then
		scale = scale/4
	elseif (anchorhi-anchorlo)/scale > 10 then
		scale = scale*2.5
	end
	love.graphics.setColor(0.7,0.7,0.7)
	for x=anchorlo,anchorhi,scale do
		love.graphics.line(vx(x), 0, vx(x), 5)
	end
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0583-manifest (----------)

[4.2]

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

File addition: 0583-approximate_up (----------)

[4.2]

approximate_up = function(n, zeros)
	-- turn n into a number with n zeros
	for i=1,zeros do
		n = n/10
	end
	n= math.ceil(n)
	local magnitude = 1
	for i=1,zeros do
		n = n*10
		magnitude = magnitude*10
	end
	return n, magnitude
end

File addition: 0582-manifest (----------)

[4.2]

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

File addition: 0582-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate_up(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0581-manifest (----------)

[4.2]

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

File addition: 0581-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchorhi, scale = approximate(hi, order_of_magnitude(hi-lo))
	local anchorlo = approximate(lo, order_of_magnitude(hi-lo))
	print('anchor is', anchorlo, anchorhi, scale)
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0580-manifest (----------)

[4.2]

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

File addition: 0580-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchor, scale = approximate(hi, order_of_magnitude(hi-lo))
	print('anchor is', anchor, scale)
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0579-manifest (----------)

[4.2]

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

File addition: 0579-approximate (----------)

[4.2]

approximate = function(n, zeros)
	-- turn n into a number with n zeros
	for i=1,zeros do
		n = n/10
	end
	n= math.floor(n)
	local magnitude = 1
	for i=1,zeros do
		n = n*10
		magnitude = magnitude*10
	end
	return n, magnitude
end

File addition: 0578-manifest (----------)

[4.2]

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

File addition: 0578-approximate (----------)

[4.2]

approximate = function(n, zeros)
	-- turn n into a number with n zeros
	for i=1,zeros do
		n = n/10
	end
	n= math.floor(n)
	for i=1,zeros do
		n = n*10
	end
	return n
end

File addition: 0577-manifest (----------)

[4.2]

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

File addition: 0577-approximate (----------)

[4.2]

approximate = function(n, zeros)
	-- turn n into a number with n zeros
	for i=1,zeros do
		n = n/10
	end
	n= math.floor(n)
	for i=1,zeros do
		n = n*10
	end
end

File addition: 0576-manifest (----------)

[4.2]

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

File addition: 0576-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchor = approximate(hi, order_of_magnitude(hi-lo))
	print('anchor is', anchor)
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0575-manifest (----------)

[4.2]

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

File addition: 0575-approximate (----------)

[4.2]

approximate = function(n, zeros)
	-- turn n into a number with n zeros
	for i=1,zeros do
		n = n/10
	end
	return math.floor(n)
end

File addition: 0574-manifest (----------)

[4.2]

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

File addition: 0574-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	local anchor = 0
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0573-order_of_magnitude (----------)

[4.2]

order_of_magnitude = function(n)
	return math.floor(math.log(n)/math.log(10))
end

File addition: 0573-manifest (----------)

[4.2]

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

File addition: 0572-manifest (----------)

[4.2]

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

File addition: 0572-draw_ticks (----------)

[4.2]

draw_ticks = function()
	-- x axis
	local lo, hi = Viewport.x, sx(App.screen.width)
	print('viewport width scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
	-- y axis
	local lo, hi = Viewport.y, sy(App.screen.height)
	print('viewport height scale is', hi-lo, lo, hi, order_of_magnitude(hi-lo))
end

File addition: 0571-order_of_magnitude (----------)

[4.2]

order_of_magnitude = function(n)
	return math.log(n)/math.log(10)
end

File addition: 0571-manifest (----------)

[4.2]

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

show coordinates

Dependencies

In channels

Change contents

Replacement in head at line 1 [3.10815]

File addition: 0609-manifest (----------)

File addition: 0609-draw_ticks (----------)

File addition: 0608-manifest (----------)

File addition: 0608-draw_ticks (----------)

File addition: 0607-manifest (----------)

File addition: 0607-draw_ticks (----------)

File addition: 0606-manifest (----------)

File addition: 0606-draw_ticks (----------)

File addition: 0605-manifest (----------)

File addition: 0605-draw_ticks (----------)

File addition: 0604-manifest (----------)

File addition: 0604-Viewport (----------)

File addition: 0603-manifest (----------)

File addition: 0603-draw_ticks (----------)

File addition: 0602-manifest (----------)

File addition: 0602-draw_ticks (----------)

File addition: 0601-manifest (----------)

File addition: 0601-draw_ticks (----------)

File addition: 0600-manifest (----------)

File addition: 0600-draw_ticks (----------)

File addition: 0599-manifest (----------)

File addition: 0599-draw_ticks (----------)

File addition: 0598-manifest (----------)

File addition: 0598-draw_ticks (----------)

File addition: 0597-manifest (----------)

File addition: 0597-draw_ticks (----------)

File addition: 0596-manifest (----------)

File addition: 0596-draw_ticks (----------)

File addition: 0595-manifest (----------)

File addition: 0595-draw_ticks (----------)

File addition: 0594-manifest (----------)

File addition: 0594-Ticks_font (----------)

File addition: 0593-manifest (----------)

File addition: 0593-draw_ticks (----------)

File addition: 0592-manifest (----------)

File addition: 0592-draw_ticks (----------)

File addition: 0591-manifest (----------)

File addition: 0591-draw_ticks (----------)

File addition: 0590-manifest (----------)

File addition: 0590-draw_ticks (----------)

File addition: 0589-manifest (----------)

File addition: 0589-Ticks_font (----------)

File addition: 0588-manifest (----------)

File addition: 0588-draw_ticks (----------)

File addition: 0587-manifest (----------)

File addition: 0587-Ticks_font (----------)

File addition: 0586-manifest (----------)

File addition: 0586-draw_ticks (----------)

File addition: 0585-manifest (----------)

File addition: 0585-draw_ticks (----------)

File addition: 0584-manifest (----------)

File addition: 0584-draw_ticks (----------)

File addition: 0583-manifest (----------)

File addition: 0583-approximate_up (----------)

File addition: 0582-manifest (----------)

File addition: 0582-draw_ticks (----------)

File addition: 0581-manifest (----------)

File addition: 0581-draw_ticks (----------)

File addition: 0580-manifest (----------)

File addition: 0580-draw_ticks (----------)

File addition: 0579-manifest (----------)

File addition: 0579-approximate (----------)

File addition: 0578-manifest (----------)

File addition: 0578-approximate (----------)

File addition: 0577-manifest (----------)

File addition: 0577-approximate (----------)

File addition: 0576-manifest (----------)

File addition: 0576-draw_ticks (----------)

File addition: 0575-manifest (----------)

File addition: 0575-approximate (----------)

File addition: 0574-manifest (----------)

File addition: 0574-draw_ticks (----------)

File addition: 0573-order_of_magnitude (----------)

File addition: 0573-manifest (----------)

File addition: 0572-manifest (----------)