From 2ea256e769bbd6ae175670bc11ee5abed7f9640f Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Sat, 12 Mar 2022 21:38:47 +0100
Subject: [PATCH] Fix inconsistent highlighting of lockable keys

Pointers.getKeyFlags might receive a different KeyValue than what's
stored in the pointer due to caching. Compare names instead.
---
 srcs/juloo.keyboard2/Pointers.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcs/juloo.keyboard2/Pointers.java b/srcs/juloo.keyboard2/Pointers.java
index 60b4463..d3401f1 100644
--- a/srcs/juloo.keyboard2/Pointers.java
+++ b/srcs/juloo.keyboard2/Pointers.java
@@ -53,7 +53,7 @@ public final class Pointers implements Handler.Callback
   public int getKeyFlags(KeyValue kv)
   {
     for (Pointer p : _ptrs)
-      if (p.value == kv)
+      if (p.value.name == kv.name) // Physical equality
         return p.flags;
     return -1;
   }