Fix selection mode not exited when selection cleared

The selection mode was not exited when the selection was cleared with, for example, ctrl+x.
Add <row scale=""> attribute (#1018 )
2025-08-18 18:58:33 +02:00 · 2025-06-19 01:03:21 +02:00 · 2025-06-18 00:49:34 +02:00
1 changed files with 4 additions and 0 deletions
--- 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.
Author	SHA1	Message	Date
Jules Aguillon	36d3b9d9d0	Fix selection mode not exited when selection cleared The selection mode was not exited when the selection was cleared with, for example, ctrl+x.	2025-06-19 01:03:21 +02:00
Jules Aguillon	71d2784026	Add <row scale=""> attribute (#1018 ) Some checks failed Make Apk CI / Build-Apk (push) Has been cancelled Details Check translations / check-translations (push) Has been cancelled Details Check layouts / check_layout.output (push) Has been cancelled Details Check layouts / Generated files (push) Has been cancelled Details * Add <row scale=""> attribute Scale the width of the keys in the row to match a value. Useful to remove space on the right of the row without adding a 'width' attribute to each key. * layouts: Use the 'scale=""' attribute in builtin layouts This removes the very specific 'width' values.	2025-06-18 00:49:34 +02:00