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.
This commit is contained in:
Jules Aguillon 2022-03-12 21:38:47 +01:00
parent 5665d6a7c5
commit 2ea256e769

View File

@ -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;
}