bugfix: propagate mouse press if any button would

Dependencies

• [2] GDJSZLYT allow buttons to nest as well
• [3] PW2VGQWN indent
• [4] XX7G2FFJ intermingle freehand line drawings with text
• [5] PP2IIHL6 stop putting button state in a global
• [6] OAHNWDYG .
• [7] 6D5MOJS4 allow buttons to interrupt events
• [8] K6DTOGOQ flip return value of button handlers

Change contents

• replacement in button.lua at line 26
  [3.465]→[2.313:336](∅→∅)
  − local result = false
  [3.465]

  [3.465]
  + local button_pressed = false

  + local consume_press = true
• replacement in button.lua at line 31
  [3.66]→[2.337:395](∅→∅)
  − if not ev.onpress1() then

  − result = true
  [3.66]

  [2.395]
  + button_pressed = true

  + if ev.onpress1() then

  + consume_press = false
• replacement in button.lua at line 38
  [3.2671]→[2.408:424](∅→∅)
  − return result
  [3.2671]

  [3.2671]
  + return button_pressed and consume_press