ok/cancel buttons in file dialog

akkartik

Nov 26, 2023, 6:21 PM

E75L5QGUMXN6ZOYL3F5LCNEZY2IJMMRTKYARSSH2OBPKB54VNI4QC

Dependencies

• [2] G5ZIPHJC make it look more like a dialog
• [3] ESOJS6ZW extract a function
• [4] FIUQJVL2 first draft of load/save buttons
• [5] SJXIMERS type out a filename to load/save
• [*] R5QXEHUI somebody stop me

Change contents

• file addition: 0143-File_dialog_input_right_margin (----------)
  [7.2]
  + File_dialog_input_right_margin = 0
• replacement in 0142-right_justified_button at line 2
  [3.58]→[3.58:91](∅→∅)
  − local w = App.width('settings')
  [3.58]

  [3.91]
  + local w = App.width(name)
• replacement in 0142-right_justified_button at line 4
  [3.110]→[3.110:163](∅→∅)
  − styled_button('settings', x, y, callback)

  − return x
  [3.110]

  [3.163]
  + styled_button(name, x, y, callback)

  + return x-10
• replacement in 0140-refresh_file_dialog_input_start at line 5
  [4.389]→[4.389:441](∅→∅)
  − if App.width(s) < Safe_width-Menu_left-15-15 then
  [4.389]

  [4.441]
  + if App.width(s) < File_dialog_input_right_margin-15 then
• replacement in 0119-draw_file_dialog at line 2
  [4.1637]→[4.2661:2687](∅→∅)
  − draw_file_dialog_input()
  [4.1637]

  [2.208]
  + -- border
• edit in 0119-draw_file_dialog at line 10
  [2.363]

  [4.1637]
  + -- ok/cancel buttons (but with wider names)

  + local r = Safe_width-10

  + r = right_justified_button('cancel', r, Menu_top+5+3, function()

  + reset_file_dialog_state()

  + end)

  + r = right_justified_button('submit', r, Menu_top+5+3, function()

  + File_dialog_callback(File_dialog_input_text)

  + reset_file_dialog_state()

  + end)

  + File_dialog_input_right_margin = r

  + -- input

  + draw_file_dialog_input()

  + -- filtered files