hide cursor in log browser window

Dependencies

• [2] GZ5WULJV switch source side to new screen-line-based render
• [3] BYKXF3YY bugfix: draw menu after everything else
• [4] KKMFQDR4 editing source code from within the app
• [5] ME7WBLF5 bugfix: log filenames can have 2 formats
• [6] B4JEWKWI hide editor cursor while in file navigator
• [7] R3KXFRZN get rid of to_text

Change contents

• replacement in source.lua at line 268
  [3.173083]→[3.173083:173123](∅→∅)
  − log_browser.draw(Log_browser_state)
  [3.173083]

  [3.173123]
  + log_browser.draw(Log_browser_state, --[[hide_cursor]] Focus ~= 'log_browser')
• replacement in log_browser.lua at line 87
  [3.194787]→[3.194787:194820](∅→∅)
  − function log_browser.draw(State)
  [3.194787]

  [3.194820]
  + function log_browser.draw(State, hide_cursor)
• replacement in log_browser.lua at line 120
  [3.196574]→[2.4718:4778](∅→∅)
  − Text.draw(State, line_index, y, --[[startpos]] 1)
  [3.196574]

  [3.196638]
  + Text.draw(State, line_index, y, --[[startpos]] 1, hide_cursor)