partition handlers between screen regions

akkartik

Dec 2, 2023, 4:56 AM

NVZTMKERX3NCKNKRYOTAHNVT7CDVHQW3KMVLH35USH5D3TCIQOXQC

Dependencies

• [2] RVJNNICY bugfix: autosave settings
• [3] BQTHWI4A check slider state more precisely
• [4] 5RUFNRJO start of the visual skeleton
• [5] Z5M23NTK implement second, 'output' editor
• [6] 5MEJ7XNH lay out buttons based on device dimensions
• [7] HVXZLNCC send errors from event handlers to output editor
• [8] JV27LDDK sliders for font size and color settings
• [9] VAVXKWZV aggregate global state inside a 'pane' object
• [10] IP4LD33D mouse events for scrollbar
• [11] 6DJMOJKE support event handlers
• [12] LGIEVJE6 activate buttons for some time
• [13] ZM7NOBRM new fork: carousel shell
• [*] R5QXEHUI somebody stop me
• [*] UEG224LH debug animations

Change contents

• file addition: 0150-Button_pressed (----------)
  [15.2]
  + Button_pressed = nil
• edit in 0017-on.mouse_release at line 2
  [4.2259]

  [4.5799]
  + -- == menu area
• edit in 0017-on.mouse_release at line 4
  [4.5822]

  [4.376]
  + if Button_pressed then

  + Button_pressed = nil

  + return

  + end

  + -- == settings area

  + if on_area(Settings_menu_area, x,y) then

  + return

  + end

  + -- == main area
• edit in 0016-on.mouse_press at line 2
  [4.2409]

  [4.520]
  + -- == menu area
• edit in 0016-on.mouse_press at line 6
  [4.3206]

  [4.5824]
  + Button_pressed = true
• replacement in 0016-on.mouse_press at line 10
  [4.4958]→[4.5838:5886](∅→∅),[4.5838]→[4.5838:5886](∅→∅),[4.3206]→[4.1739:1753](∅→∅),[4.5886]→[4.1739:1753](∅→∅),[4.1739]→[4.1739:1753](∅→∅),[4.1753]→[4.5887:5933](∅→∅),[4.5933]→[2.0:106](∅→∅)
  − if mouse_on_any_slider(x,y, mouse_button) then

  − return

  − end

  − if not on_area(Settings_menu_area, x,y) then

  − if Show_settings then

  − -- On mobile devices, we can't depend on on.save_settings() triggering on quit
  [4.4958]

  [2.106]
  + -- == settings area

  + if Show_settings then

  + if on_area(Settings_menu_area, x,y) then

  + mouse_on_any_slider(x,y, mouse_button)

  + else

  + Show_settings = false

  + -- On mobile devices, we can't depend on on.save_settings() triggering on quit.

  + -- So save settings every time we close the settings menu.
• replacement in 0016-on.mouse_press at line 20
  [2.172]→[4.5933:5957](∅→∅),[4.5933]→[4.5933:5957](∅→∅)
  − Show_settings = false
  [2.172]

  [4.5957]
  + return
• edit in 0016-on.mouse_press at line 22
  [4.5962]

  [4.1330]
  + -- == main area
• edit in 0004-on.update at line 3
  [16.1760]

  [4.613]
  + -- == menu area
• edit in 0004-on.update at line 7
  [4.704]

  [3.151]
  + -- == settings area
• edit in 0004-on.update at line 11
  [4.6266]

  [4.4658]
  + -- main area
• replacement in 0004-on.update at line 18
  [4.1949]→[4.705:709](∅→∅)
  − end
  [4.1949]
  + end