bugfix: update handlers on new/delete

akkartik

Dec 5, 2023, 8:01 PM

WCYQN74I6OWI3YED477ZSAZXQWROUCH4BHISUAR2WIR5WNMYUUBQC

Dependencies

• [2] W4EQ6IW4 simplify state management for menus
• [3] 6ARK6HWF bugfix: avoid overflowing 'delete' button in some situations
• [4] OGDDLU5B close all menus when tapping any button
• [5] RK2ASPN7 add lots of buttons to the toolbar
• [6] SIJ5I4NZ extract a helper for buttons

Change contents

• edit in 0076-delete_pane_button at line 16
  [3.595]

  [3.236]
  + car = Current_pane.car or {}
• replacement in 0076-delete_pane_button at line 19
  [3.270]→[2.295:299](∅→∅)
  − end
  [3.270]
  + end
• edit in 0061-new_pane_button at line 5
  [2.541]

  [3.6000]
  + Current_pane.car = car
• edit in 0061-new_pane_button at line 9
  [3.6144]

  [3.1110]
  + car = {}
• replacement in 0061-new_pane_button at line 11
  [3.1117]→[2.542:546](∅→∅)
  − end
  [3.1117]
  + end