bugfix: avoid overflowing 'delete' button in some situations

akkartik

Dec 2, 2023, 3:59 AM

6ARK6HWF5NMFDJ7XI7IEOZ6FFLSEBIVRGETLBQS5ILIAIR2HIBTAC

Dependencies

• [2] W3RRTO4P extract a second helper for buttons
• [3] 5MEJ7XNH lay out buttons based on device dimensions
• [4] 6MQCFHXM remember when someone deletes an example
• [5] SIJ5I4NZ extract a helper for buttons
• [6] RK2ASPN7 add lots of buttons to the toolbar

Change contents

• replacement in 0118-overflowable_button at line 3
  [2.515]→[3.50:106](∅→∅),[3.49]→[3.50:106](∅→∅)
  − overflowable_button = function(name, x, y, r, onpress1)
  [2.515]

  [3.106]
  + overflowable_button = function(name, x, y, r, onpress1, final_button)
• replacement in 0118-overflowable_button at line 5
  [3.136]→[3.136:191](∅→∅)
  − local x2, y2 = maybe_draw_overflow_button(x, y, w, r)
  [3.136]

  [3.191]
  + local x2, y2 = maybe_draw_overflow_button(x, y, w, r, final_button)
• replacement in 0118-overflowable_button at line 20
  [3.649]→[3.649:652](∅→∅)
  − end
  [3.649]
  + end
• replacement in 0076-delete_pane_button at line 15
  [3.595]→[3.714:721](∅→∅),[3.721]→[3.621:624](∅→∅),[3.1894]→[3.621:624](∅→∅),[3.621]→[3.621:624](∅→∅)
  − end)

  − end
  [3.595]
  + end,

  + --[[final button]] true)

  + end