love.graphics.print(line_index, State.left-Line_number_width+10,y)

  love.graphics.print(line_index, State.left-Line_number_width*App.width(State.em)+10,y)

  Line_number_width = 60

  Line_number_width = 3  -- in ems

473

477

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},
      },
    },
}