diff options
| author | Jonathan LEI | 2024-02-19 13:08:26 +0000 |
|---|---|---|
| committer | GitHub | 2024-02-19 13:08:26 +0000 |
| commit | cdef4f8a701f921c29fdfe66f104a2edac7fe05c (patch) | |
| tree | aa65defa1a20c7cf303b700b5d4c46906d823340 /runtime/queries/purescript | |
| parent | 787cc36092a5d1a575697287d1d6ba08336a8a96 (diff) | |
Make mouse click extend selection in select mode (#5436)
* Make mouse click extend selection in select mode
* chore: better readability with `Option::take()`
Diffstat (limited to 'runtime/queries/purescript')
0 files changed, 0 insertions, 0 deletions