diff options
| author | Jules Aguillon | 2025-06-19 23:12:37 +0200 |
|---|---|---|
| committer | GitHub | 2025-06-19 23:12:37 +0200 |
| commit | c6da6d6ab55f694d4c6a393c4fdb45f6dde7c873 (patch) | |
| tree | 0082ef359f1f2b638ab7906eb6a8ea1e8c2e4327 | |
| parent | 2e0be0b32bab5c054093c34116bdbff7a1e48762 (diff) | |
| download | unexpected-keyboard-c6da6d6ab55f694d4c6a393c4fdb45f6dde7c873.tar.gz unexpected-keyboard-c6da6d6ab55f694d4c6a393c4fdb45f6dde7c873.zip | |
Fix selection mode not exited when selection cleared (#1020)
The selection mode was not exited when the selection was cleared with,
for example, ctrl+x.
| -rw-r--r-- | srcs/juloo.keyboard2/Pointers.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/srcs/juloo.keyboard2/Pointers.java b/srcs/juloo.keyboard2/Pointers.java index 28c2fa0..19cfde6 100644 --- a/srcs/juloo.keyboard2/Pointers.java +++ b/srcs/juloo.keyboard2/Pointers.java @@ -108,7 +108,10 @@ public final class Pointers implements Handler.Callback { // No existing pointer, latch the key. if (latched) + { add_fake_pointer(key, kv, lock); + _handler.onPointerFlagsChanged(false); + } } else if ((ptr.flags & FLAG_P_FAKE) == 0) {} // Key already latched but not by a fake ptr, do nothing. @@ -118,6 +121,7 @@ public final class Pointers implements Handler.Callback removePtr(ptr); if (latched) add_fake_pointer(key, kv, lock); + _handler.onPointerFlagsChanged(false); } else if ((ptr.flags & FLAG_P_LOCKED) != 0) {} // Existing ptr is locked but [lock] is false, do not continue. |