diff options
Diffstat (limited to 'srcs/juloo.keyboard2/Pointers.java')
| -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 c6d04ea..bcab202 100644 --- a/srcs/juloo.keyboard2/Pointers.java +++ b/srcs/juloo.keyboard2/Pointers.java @@ -478,6 +478,10 @@ public final class Pointers implements Handler.Callback public KeyValue.Modifier get(int i) { return _mods[_size - 1 - i]; } public int size() { return _size; } + public boolean has(KeyValue.Modifier m) + { + return (Arrays.binarySearch(_mods, 0, _size, m) >= 0); + } @Override public int hashCode() { return Arrays.hashCode(_mods); } |