akkartik/carousel.love - Change ZSFNBXMUMUOVZPHFWQ2W7DGQJ4YARYFSHVKBI5MPKWKHH6J6W4PAC

set cursor on mouse_press as well as mouse_release

Problem: on mobile devices, tapping on the editor causes the selection to flash for a second. It looks like there's a longer time between mouse press and release events.

Scenarios tested with this change:

click on the editor to move the cursor
drag-select using the mouse
shift-select using keyboard
shift-click to select

Created by akkartik on December 1, 2023

ZSFNBXMUMUOVZPHFWQ2W7DGQJ4YARYFSHVKBI5MPKWKHH6J6W4PAC

Dependencies

[2] R2ASHK5CEE3PTRLS37GP4PXJ7HIGJ6UD72KKBI57UDJI7VRROQGQC
[3] 2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC

In channels

main

Change contents

Insertion in edit.lua at line 193 [3.413]

[2.3175]

      if not State.mousepress_shift then
        State.cursor1 = {line=State.selection1.line, pos=State.selection1.pos}
      end