support mouse clicks in file navigator

Dependencies

• [2] NYRESFK6 source: show all files in navigator
• [3] ZQZX364V use a helper
• [4] KKMFQDR4 editing source code from within the app
• [5] O2PYNFUB use existing local
• [*] 3QNOKBFM beginnings of a test harness
• [*] 4KC7I3E2 make colors easier to edit
• [*] AVTNUQYR basic test-enabled framework

Change contents

• edit in commands.lua at line 96
  [2.905]

  [3.206808]
  + local color = Menu_background_color
• replacement in commands.lua at line 98
  [3.206835]→[3.206835:206871](∅→∅),[3.206871]→[2.906:991](∅→∅)
  − App.color(Menu_highlight_color)

  − love.graphics.rectangle('fill', x-5,y-2, width+5*2,Editor_state.line_height+2*2)
  [3.206835]

  [3.206985]
  + color = Menu_highlight_color
• edit in commands.lua at line 100
  [3.206991]

  [3.206991]
  + button(Editor_state, 'menu', {x=x-5, y=y-2, w=width+5*2, h=Editor_state.line_height+2*2, color=colortable(color),

  + onpress1 = function()

  + local candidate = guess_source(s..'.lua')

  + source.switch_to_file(candidate)

  + Show_file_navigator = false

  + end

  + })
• edit in app.lua at line 195
  [8.1374]

  [9.6421]
  + end

  +

  + function colortable(app_color)

  + return {app_color.r, app_color.g, app_color.b, app_color.a}