send editor clicks to the left of the scrollbar

akkartik

Nov 18, 2023, 2:04 PM

TEDSEOCWSHACRYLLQJHAR4ZT6T5FUOQWUWPDI2WIIPHHKCG5OHPAC

Dependencies

• [2] IP4LD33D mouse events for scrollbar
• [3] ZM7NOBRM new fork: carousel shell
• [4] 5RUFNRJO start of the visual skeleton

Change contents

• replacement in 0017-on.mouse_release at line 7
  [2.1356]→[2.1356:1362](∅→∅)
  − else
  [2.1356]

  [2.1362]
  + elseif x < Editor_state.right + 15 - 5 and y < Editor_state.bottom + 5 + 10 - 5 then
• replacement in 0016-on.mouse_press at line 9
  [2.1543]→[2.1543:1549](∅→∅)
  − else
  [2.1543]

  [2.1549]
  + elseif x < Editor_state.right + 15 - 5 and y < Editor_state.bottom + 5 + 10 - 5 then