filter file list based on input

akkartik

Nov 26, 2023, 5:14 PM

7QVNDHPEOY2NRHBON5XDSMLWZ5UXQB3SCEXIK3TZDZDRTAJHMTZAC

Dependencies

• [2] XJBUCJAG bugfix: skipping files near right margin
• [3] FIUQJVL2 first draft of load/save buttons
• [4] SJXIMERS type out a filename to load/save

Change contents

• replacement in 0119-draw_file_dialog at line 15
  [3.1998]→[3.1998:2035](∅→∅),[3.2035]→[2.46:108](∅→∅),[2.108]→[3.2263:2359](∅→∅),[3.2263]→[3.2263:2359](∅→∅)
  − local w = App.width(filename) + 10

  − if x ~= Menu_left+10 and x+w > Safe_width-Menu_left-10 then

  − x = Menu_left+10

  − y = y+Line_height+10

  − if y > Safe_height-Menu_bottom-10 then

  − break
  [3.1998]

  [3.2359]
  + if filename:find(File_dialog_input_text) then

  + local w = App.width(filename) + 10

  + if x ~= Menu_left+10 and x+w > Safe_width-Menu_left-10 then

  + x = Menu_left+10

  + y = y+Line_height+10

  + if y > Safe_height-Menu_bottom-10 then

  + break

  + end
• edit in 0119-draw_file_dialog at line 24
  [3.2366]

  [3.2366]
  + styled_button(filename, x,y, function()

  + File_dialog_callback(filename)

  + reset_file_dialog_state()

  + end)

  + x = x+w+10
• edit in 0119-draw_file_dialog at line 30
  [3.2372]→[2.109:234](∅→∅)
  − styled_button(filename, x,y, function()

  − File_dialog_callback(filename)

  − reset_file_dialog_state()

  − end)

  − x = x+w+10