6FM47PAEXXD74ABGEP7AJT7PA3U3SERUAEE6PHJJMBXLKPHLKJSQC
MAUOADNV62ZEWXWUTNJPVNWE6IFEDN23F6S5YVWW743EQJQ6NNVAC
NJHPKGC4MV6DDRYI4NJEE5LQBSWJBB54QV7EPSOS2ECVI7CBPOJQC
O6JOCPML4QCKJ33RF2SXDHMNH4KF2FA54SQBS7QOJFIWJJPTKBNAC
BULPIBEGL7TMK6CVIE7IS7WGAHGOSUJBGJSFQK542MOWGHP2ADQQC
EDRTD2YKYXX7R4NCJC757JIOVGDVJBQHFC3HYDD2ONDWMPFJOJ6AC
MQMKQ2JO6E3KDJN3H6WACIETJI4C2APUS5N4YQZDM75ZIZDSC4XAC
RME4YP33NNUXA7HCHKUMB7UTNVGUCBDU3AZW3TDUTYL2CFZMNGOQC
OTIBCAUJ3KDQJLVDN3A536DLZGNRYMGJLORZVR3WLCGXGO6UGO6AC
GT3XZRTCVBWCSWUXAJ7N4OK2U2G5Y7EGSC5YE76KXZG7C4L53VTQC
LRDM35CEK3OHXOTB7TEFJRL7P6PQWO5ZG3F2BVA7DIDFHBPJQ7KAC
R5QXEHUIZLELJGGCZAE7ATNS3CLRJ7JFRENMGH4XXH24C5WABZDQC
update_editor_box = function(node, preserve_screen_top_of_cursor_node)
if node.editor == nil then return end
-- Compute screen_top1 in viewport coordinates because the editor's font takes scaling into account.
if vy(node.y) > 0 then
if not preserve_screen_top_of_cursor_node or node ~= Cursor_node then
node.editor.screen_top1.line = 1
node.editor.screen_top1.pos = 1
end
node.editor.top = vy(node.y)
else
node.editor.screen_top1, node.editor.top = schema1_of_y(node.editor, -vy(node.y))
end
node.editor.left = math.floor(vx(node.x)+Line_number_width*App.width(node.editor.em))
node.editor.right = math.ceil(vx(node.x+node.w))
edit.update_font_settings(node.editor, scale(20))
Text.redraw_all(node.editor)
end
{"vy":462,"on.initialize":350,"on.update":368,"parent":476,"Cursor_node":172,"Page":475,"on.mouse_release":367,"scale":7,"update_editor_box":477,"box_height":345,"line_height":365,"compute_layout":385,"A":433,"to_text":180,"on.code_change":306,"font":353,"B":379,"schema1_of_y":467,"y_of_schema1":364,"on.mouse_press":179,"on.keychord_press":391,"on.text_input":388,"on":1,"add_thick_line":400,"on.draw":452,"copy_shape":396,"vx":5,"initialize_editor":450,"Viewport":459,"sy":469,"Surface":422}
update_editor_box = function(node, preserve_screen_top_of_cursor_node)
if node.editor == nil then return end
-- Compute screen_top1 in viewport coordinates because the editor's font takes scaling into account.
if vy(node.y) > 0 then
if not preserve_screen_top_of_cursor_node or node ~= Cursor_node then
node.editor.screen_top1.line = 1
node.editor.screen_top1.pos = 1
end
node.editor.top = vy(node.y)
else
node.editor.screen_top1, node.editor.top = schema1_of_y(node.editor, -vy(node.y))
end
node.editor.left = math.floor(vx(node.x+Line_number_width*App.width(node.editor.em)))
node.editor.right = math.ceil(vx(node.x+node.w))
edit.update_font_settings(node.editor, scale(20))
Text.redraw_all(node.editor)
end
{"vy":462,"on.initialize":350,"on.update":368,"parent":475,"Cursor_node":172,"Page":475,"on.mouse_release":367,"scale":7,"update_editor_box":476,"box_height":345,"line_height":365,"compute_layout":385,"A":433,"to_text":180,"on.code_change":306,"font":353,"B":379,"schema1_of_y":467,"y_of_schema1":364,"on.mouse_press":179,"on.keychord_press":391,"on.text_input":388,"on":1,"add_thick_line":400,"on.draw":452,"copy_shape":396,"vx":5,"initialize_editor":450,"Viewport":459,"sy":469,"Surface":422}
{"B":379,"Viewport":459,"schema1_of_y":467,"A":433,"update_editor_box":473,"sy":469,"Cursor_node":172,"on.draw":452,"add_thick_line":400,"to_text":180,"line_height":365,"on.code_change":306,"Surface":422,"vy":462,"parent":474,"on.text_input":388,"initialize_editor":450,"vx":5,"box_height":345,"on.update":368,"on":1,"scale":7,"on.keychord_press":391,"font":353,"on.mouse_press":179,"y_of_schema1":364,"on.initialize":350,"copy_shape":396,"Page":475,"on.mouse_release":367,"compute_layout":385}
Page = {
-- page
type='cols', x=0, y=0,
width=800, data={
-- editor covering left side
{
type='text',
name='editor',
doc='prose goes here, on the left half of the window',
data={''},
width=400, bg={r=0.7,g=0.7,b=1},
},
},
}
{"B":379,"Viewport":459,"schema1_of_y":467,"A":433,"update_editor_box":473,"sy":469,"Cursor_node":172,"on.draw":452,"add_thick_line":400,"to_text":180,"line_height":365,"on.code_change":306,"Surface":422,"vy":462,"parent":473,"on.text_input":388,"initialize_editor":450,"vx":5,"box_height":345,"on.update":368,"on":1,"scale":7,"on.keychord_press":391,"font":353,"on.mouse_press":179,"y_of_schema1":364,"on.initialize":350,"copy_shape":396,"Page":474,"on.mouse_release":367,"compute_layout":385}
Page = {
-- page
type='cols', x=0, y=0,
width=800, data={
-- editor covering left side
{
type='text',
name='editor',
doc='prose goes here, on the left half of the window',
data={''},
width=400, bg={r=0.8,g=0.8,b=1},
},
},
}