check slider state more precisely

akkartik

Dec 2, 2023, 4:53 AM

BQTHWI4ATNV7Q7K2Y3BV2MVFUNVNQGAU3QU6EZ54LATEREOKC6CQC

Dependencies

• [2] LGIEVJE6 activate buttons for some time
• [3] IP4LD33D mouse events for scrollbar
• [4] JV27LDDK sliders for font size and color settings
• [5] 6DJMOJKE support event handlers
• [6] Z5M23NTK implement second, 'output' editor
• [7] VAVXKWZV aggregate global state inside a 'pane' object
• [8] UEG224LH debug animations

Change contents

• replacement in 0004-on.update at line 6
  [2.704]→[3.6183:6210](∅→∅),[3.1760]→[3.6183:6210](∅→∅)
  − if App.mouse_down(1) then
  [2.704]

  [3.6210]
  + if Selected_slider then