This was particularly fun to do live.
BPKE3AXOWROQM5MDU7HVQ3VLNTJDD4LCH5OBCRE7SZAJDFDSNQ4QC
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
Viewport = {x=-50, y=-50, w=800,h=600, zoom=1.0}
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
Ticks_font = love.graphics.newFont(8)
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
Ticks_font = love.graphics.newFont(20)
{"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}
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
{"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}
Ticks_font = love.graphics.newFont(8)
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
{"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}
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
order_of_magnitude = function(n)
return math.floor(math.log(n)/math.log(10))
end
{"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}
{"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}
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
order_of_magnitude = function(n)
return math.log(n)/math.log(10)
end
{"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}