A lightweight programming environment for desktop and mobile devices

bugfix: tapping in scrollbar area

scenario 1: tap on scrollbar area off scrollbar. With the previous commit the app would crash.

scenario 2: drag down a bit, then let go, then drag the scrollbar again. With the previous commit the scrollbar would start again from 0.

Root cause: units mismatch (pixels vs normalized y between 0 and 1)

Created by  akkartik  on December 2, 2023
CMZDG7CJKY4AO2RTV7C54WHUEHYQXDTN57R4Y5ZADZBSLNOOBDFQC
Change contents