merge bugfix

akkartik

Dec 17, 2023, 8:53 AM

YSSG2JR6QHLY4JZS3RQUZXPFK5MPQVGKB53ETQGIONWI65WPISOQC

Dependencies

• [2] XJX53BE3 bugfix: catch errors in mouse_press handlers
• [3] ZM7NOBRM new fork: carousel shell
• [4] VAVXKWZV aggregate global state inside a 'pane' object
• [5] EHKB76GO UI improvement: more stable scrollbar movement
• [6] 6DJMOJKE support event handlers
• [7] W4EQ6IW4 simplify state management for menus
• [8] JV27LDDK sliders for font size and color settings
• [9] 5RUFNRJO start of the visual skeleton
• [10] RVJNNICY bugfix: autosave settings
• [11] Z5M23NTK implement second, 'output' editor
• [12] LGIEVJE6 activate buttons for some time
• [13] NVZTMKER partition handlers between screen regions
• [14] IP4LD33D mouse events for scrollbar

Change contents

• replacement in 0016-on.mouse_press at line 5
  [3.612]→[3.3121:3206](∅→∅),[3.2409]→[3.3121:3206](∅→∅)
  − if mouse_press_consumed_by_any_button_handler(Global_state, x,y, mouse_button) then
  [3.612]

  [3.258]
  + if mouse_press_consumed_by_any_button(Global_state, x,y, mouse_button) then
• replacement in 0016-on.mouse_press at line 52
  [3.1606]→[2.316:319](∅→∅)
  − end
  [3.1606]
  + end