Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), App.screen.width-Margin_right)
  Editor_state.filename = 'run.lua'
  Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, settings.font_height, math.floor(settings.font_height*1.3))
  Editor_state.filename = settings.filename
Line_number_width = 3  -- in ems
-- called both in tests and real run
function source.initialize_globals()
  -- tests currently mostly clear their own state
  Show_log_browser_side = false
  Focus = 'edit'
  Show_file_navigator = false
  File_navigation = {

  App.color(Line_number_color)
  love.graphics.print(line_index, State.left-Line_number_width*App.width('m')+10,y)

  App.color(Line_number_color)
  love.graphics.print(line_index, State.left-Line_number_width*App.width('m')+10,y)

Line_number_color = {r=0.6, g=0.6, b=0.6}

          icon = icon.insert_drawing,
          onpress1 = function()
                       Drawing.before = snapshot(State, line_index-1, line_index)
                       table.insert(State.lines, line_index, {mode='drawing', y=y, h=256/2, points={}, shapes={}, pending={}})
                       table.insert(State.line_cache, line_index, {})
                       if State.cursor1.line >= line_index then
                         State.cursor1.line = State.cursor1.line+1
                       end
                       schedule_save(State)
                       record_undo_event(State, {before=Drawing.before, after=snapshot(State, line_index-1, line_index+1)})
                     end,
        })

Line_number_width = 3  -- in ems

  Editor_state = edit.initialize_state(Margin_top, Margin_left, right, settings.font_height, math.floor(settings.font_height*1.3))

  Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), right, settings.font_height, math.floor(settings.font_height*1.3))

  Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right)

  Editor_state = edit.initialize_state(Margin_top, Margin_left + Line_number_width*App.width('m'), App.screen.width-Margin_right)