chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 110cd38) | patch
js: Allow special select of pinned things in in wresting mode
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 13 Apr 2021 19:23:43 +0000 (20:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 13 Apr 2021 20:21:28 +0000 (21:21 +0100)
commitdd5422bce68dae3fe03656733a55c415d94b6e16
treefb9ef5a45a70f5625b7a934b166b6b8e8c03de97tree | snapshot
parent110cd38b07c915b3d61635a311f2a6f3385fae73commit | diff
js: Allow special select of pinned things in in wresting mode

We are going to reuse this code for drag select.  Might as well let
this work, although it is a bit exciting and I think right now you
can't be in wresting mode and also special select.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.