bugfix: position cursor after dragging scrollbar

akkartik

Dec 3, 2023, 1:04 AM

KVCVI4YFAYOVHCZRJYBQ7CJWUVMUDTUBHNFWW5V7EIEYNPR6FJDAC

Dependencies

• [2] Z5M23NTK implement second, 'output' editor
• [*] IP4LD33D mouse events for scrollbar

Change contents

• edit in 0036-adjust_scrollbar at line 13
  [2.795]

  [4.1142]
  + Text.redraw_all(state)