function Text.draw(State, line_index, y, startpos, hide_cursor)

function Text.draw(State, line_index, y, startpos, hide_cursor, show_line_numbers)

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

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

    left = math.floor(left),

    left = math.floor(left),  -- left margin for text; line numbers go to the left of this

function edit.draw(State, hide_cursor)

function edit.draw(State, hide_cursor, show_line_numbers)

        button(State, 'draw', {x=4, y=y+4, w=12,h=12, color={1,1,0},

        local buttonx = State.left-Margin_left+4
        if show_line_numbers then
          buttonx = 4  -- HACK: position draw buttons at a fixed x on screen
        end
        button(State, 'draw', {x=buttonx, y=y+4, w=12,h=12, color={1,1,0},

      y, screen_bottom1.pos = Text.draw(State, line_index, y, startpos, hide_cursor)

      y, screen_bottom1.pos = Text.draw(State, line_index, y, startpos, hide_cursor, show_line_numbers)

  edit.draw(Editor_state, --[[hide cursor?]] Show_file_navigator)

  edit.draw(Editor_state, --[[hide cursor?]] Show_file_navigator, --[[show line numbers]] true)