close all menus when tapping any button

akkartik

Dec 5, 2023, 5:39 AM

OGDDLU5BOJEAETHLBI5S3HAOHI275IVIY5UOJ4TG6DROJJ5PIOLAC

Dependencies

• [2] FIUQJVL2 first draft of load/save buttons
• [3] 6ARK6HWF bugfix: avoid overflowing 'delete' button in some situations
• [4] LGIEVJE6 activate buttons for some time
• [5] X2DGB56U support undo of paste button
• [6] RK2ASPN7 add lots of buttons to the toolbar
• [7] W3RRTO4P extract a second helper for buttons
• [8] 6VPJTZFS reset file system state with everything else
• [9] JV27LDDK sliders for font size and color settings
• [10] SIJ5I4NZ extract a helper for buttons
• [11] 5JMR2IJS bugfix: save settings on mobile devices
• [12] GWLETNMW Mike's suggested button layout
• [13] 5MEJ7XNH lay out buttons based on device dimensions
• [14] YS4AQXJC hide other menus when opening one
• [*] 6MQCFHXM remember when someone deletes an example
• [*] YCPA257V copy entire buffer when there's no selection
• [*] NV4WC3K4 new example: interactivity
• [*] I52S4E5F running `print` now appends to output editor

Change contents

• replacement in 0124-styled_button at line 21
  [6.346]→[4.515:519](∅→∅)
  − end
  [6.346]
  + end
• edit in 0117-load_button at line 4
  [2.2513]

  [2.2570]
  + Show_overflow = false

  + Show_settings = false
• replacement in 0116-save_button at line 4
  [2.2849]→[2.2849:2866](∅→∅)
  − print('save')
  [2.2849]

  [2.2866]
  + Show_overflow = false

  + Show_settings = false
• edit in 0109-overflow_button at line 4
  [6.598]

  [6.875]
  + Show_settings = false
• edit in 0109-overflow_button at line 6
  [6.912]→[6.33:84](∅→∅)
  − if Show_overflow then Show_settings = false end
• replacement in 0106-stop_button at line 2
  [6.1362]→[6.610:654](∅→∅)
  − styled_button('stop', x,y, clear_handlers)
  [6.1362]

  [6.68]
  + styled_button('stop', x,y,

  + function()

  + Show_overflow = false

  + Show_settings = false

  + clear_handlers()

  + end)
• edit in 0076-delete_pane_button at line 4
  [6.713]

  [16.779]
  + Show_overflow = false

  + Show_settings = false
• replacement in 0076-delete_pane_button at line 19
  [3.270]→[3.270:274](∅→∅)
  − end
  [3.270]
  + end
• replacement in 0074-clear_pane_button at line 3
  [6.768]→[6.768:782](∅→∅)
  − clear_pane)
  [6.768]

  [6.1310]
  + function()

  + Show_overflow = false

  + Show_settings = false

  + clear_pane()

  + end)
• edit in 0072-settings_button at line 4
  [6.740]

  [6.5520]
  + Show_overflow = false
• edit in 0072-settings_button at line 6
  [6.5557]→[6.118:169](∅→∅)
  − if Show_settings then Show_overflow = false end
• edit in 0067-paste_button at line 4
  [6.842]

  [5.99]
  + Show_overflow = false

  + Show_settings = false
• replacement in 0067-paste_button at line 22
  [6.850]→[5.486:490](∅→∅)
  − end
  [6.850]
  + end
• edit in 0066-copy_button at line 4
  [6.909]

  [17.71]
  + Show_overflow = false

  + Show_settings = false
• edit in 0065-hide_code_button at line 4
  [6.976]

  [6.5069]
  + Show_overflow = false

  + Show_settings = false
• edit in 0064-show_code_button at line 4
  [6.1043]

  [6.5508]
  + Show_overflow = false

  + Show_settings = false
• edit in 0061-new_pane_button at line 4
  [6.1109]

  [6.6000]
  + Show_overflow = false

  + Show_settings = false
• edit in 0060-next_pane_button at line 8
  [6.6572]

  [18.1388]
  + Show_overflow = false

  + Show_settings = false
• edit in 0059-previous_pane_button at line 8
  [6.7115]

  [18.1448]
  + Show_overflow = false

  + Show_settings = false
• edit in 0051-run_button at line 4
  [6.804]

  [19.329]
  + Show_overflow = false

  + Show_settings = false