hide line numbers from log browser

Dependencies

• [2] 5SM6DRHK port inscript's bugfix to source editor
• [3] CWQIPU7U always show line numbers in source editor
• [4] B4JEWKWI hide editor cursor while in file navigator
• [5] LIKTH6HM update stale source X-(
• [6] KKMFQDR4 editing source code from within the app
• [7] OI4FPFIN support drawings in the source editor
• [8] GZ5WULJV switch source side to new screen-line-based render
• [9] G54H3YG2 get rid of all bifold text
• [10] V5SYDHPQ start thinking of compute_fragments as a detail
• [11] LDFXFRUO bring a few things in sync between run and source
• [12] L2FWWEQL source: remember cursor position of multiple files
• [13] BYKXF3YY bugfix: draw menu after everything else
• [14] NVSC4N4K change a helper slightly

Change contents

• replacement in source_text.lua at line 6
  [4.128]→[4.79:143](∅→∅),[4.79]→[4.79:143](∅→∅)
  − function Text.draw(State, line_index, y, startpos, hide_cursor)
  [4.128]

  [4.84098]
  + function Text.draw(State, line_index, y, startpos, hide_cursor, show_line_numbers)
• replacement in source_text.lua at line 15
  [4.254]→[3.8:123](∅→∅)
  − App.color(Line_number_color)

  − love.graphics.print(line_index, State.left-Line_number_width*App.width('m')+10,y)
  [4.254]

  [4.87409]
  + 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
• replacement in source_edit.lua at line 92
  [4.154970]→[4.411:440](∅→∅)
  − left = math.floor(left),
  [4.154970]

  [4.440]
  + left = math.floor(left), -- left margin for text; line numbers go to the left of this
• replacement in source_edit.lua at line 147
  [4.19888]→[4.199:238](∅→∅)
  − function edit.draw(State, hide_cursor)
  [4.19888]

  [4.155376]
  + function edit.draw(State, hide_cursor, show_line_numbers)
• replacement in source_edit.lua at line 176
  [4.20316]→[3.171:240](∅→∅)
  − button(State, 'draw', {x=4, y=y+4, w=12,h=12, color={1,1,0},
  [4.20316]

  [4.20384]
  + 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},
• replacement in source_edit.lua at line 194
  [4.156342]→[2.4600:4685](∅→∅)
  − y, screen_bottom1.pos = Text.draw(State, line_index, y, startpos, hide_cursor)
  [4.156342]

  [4.21245]
  + y, screen_bottom1.pos = Text.draw(State, line_index, y, startpos, hide_cursor, show_line_numbers)
• replacement in source.lua at line 240
  [4.172847]→[4.370:436](∅→∅)
  − edit.draw(Editor_state, --[[hide cursor?]] Show_file_navigator)
  [4.172847]

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