Ole 2d19540e60 Support aborting cursor move based on condition ...

This is useful e.g. to avoid skipping over a diff that is still loading.

Change-Id: Ibf8f746935bd5cbc3c5d7f277dda1cd2273046c3

2020-09-29 11:37:20 +02:00

..

gr-cursor-manager_html.ts

Convert all *_html.js files to typescript

2020-07-15 14:10:34 +02:00

gr-cursor-manager_test.js

Support aborting cursor move based on condition

2020-09-29 11:37:20 +02:00

gr-cursor-manager.ts

Support aborting cursor move based on condition

2020-09-29 11:37:20 +02:00