678

679

{"manifest_navigator_down":635,"Page":475,"delete_definition":673,"move_candidate_to_front_of_manifest":632,"keychord_press_on_manifest_navigator":675,"text_input_on_manifest_navigator":634,"scale":7,"manifest_coord":636,"on.mouse_press":617,"sy":469,"font":353,"sx":544,"vx":545,"compute_layout":385,"Cursor_node":172,"on.key_release":552,"on.initialize":506,"A":507,"on.text_input":521,"B":379,"mouse_cursor":558,"Mouse_cursor":559,"parent":678,"Manifest":494,"draw_ticks":663,"load_manifest":496,"get_manifest":497,"initialize_editor":678,"order_of_magnitude":573,"Definitions":503,"new_definition":671,"approximate":579,"approximate_up":658,"maybe_update_key_in_definitions":529,"Ticks_font":669,"update_editor_box":570,"schema1_of_y":667,"reset_manifest_navigator":621,"copy_shape":396,"on.keychord_press":666,"y_of_schema1":364,"Manifest_navigator":495,"manifest_navigator_up":628,"on.update":561,"Menu_background_color":611,"box_height":679,"Menu_border_color":612,"load_definition":674,"Menu_command_color":613,"vy":546,"Menu_highlight_color":614,"on.draw":565,"draw_menu_bar":641,"on_text":539,"add_hotkey_to_menu":616,"line_height":365,"draw_cursor":639,"draw_manifest_navigator":677,"Viewport":604,"num_lines_for_manifest_navigator":676,"on.code_change":306,"manifest_navigator_candidates":638,"on":1,"set_mouse_cursor":562,"tick_spec":660,"load_from_iterator":670,"add_def_to_menu":640,"get_definition_from_app":624,"on.mouse_release":554,"manifest_index":637,"on_handle":547,"Surface":422,"add_thick_line":400}

box_height = function(node)
	-- return the height of a text editor node (explicit width). The result is unscaled.
  local y = 0
  for i=1,#node.editor.lines do
    local line = node.editor.lines[i]
    if node.editor.line_cache[i] == nil then
      node.editor.line_cache[i] = {}
    end
    node.editor.line_cache[i].fragments = nil
    node.editor.line_cache[i].screen_line_starting_pos = nil
    Text.compute_fragments(node.editor, i)
    Text.populate_screen_line_starting_pos(node.editor, i)
    y = y + 20*1.3*#node.editor.line_cache[i].screen_line_starting_pos
    Text.clear_screen_line_cache(node.editor, i)
  end
  return y
end