Merge pull request #2077 from keymanapp/web-1733-duplicate-ids

[Web] Highlighting checks key instance, not key id
This commit is contained in:
Joshua Horton 2019-09-12 11:38:40 +07:00 • committed by GitHub
commit ca72a02044
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -395,7 +395,7 @@ namespace com.keyman.dom {
this.currentTarget = key1;
// Clear previous key highlighting
if(key0 && key1 && (key1.id != key0.id)) {
if(key0 && key1 && key1 !== key0) {
this.highlight(key0,false);
}

View file

@ -1097,7 +1097,7 @@ namespace com.keyman.osk {
this.currentTarget = key1;
// Clear previous key highlighting
if(key0 && key1 && (key1.id != key0.id)) {
if(key0 && key1 && key1 !== key0) {
this.highlightKey(key0,false);
}