Ignore keyboard navigation when ctrl/alt is pressed (#1788)

This commit is contained in:
Jannik Becher 2023-03-15 11:46:44 +01:00 committed by GitHub
parent 2ec24732bd
commit ce3719f830
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 3 deletions

View file

@ -339,6 +339,8 @@ const Session = {
cancelEvent(event);
this.saveNotebook();
return;
} else if (cmd || alt) {
return;
}
}

View file

@ -31,11 +31,11 @@ class KeyBuffer {
* Immediately clears the buffer.
*/
reset() {
if (this.resetTimeout) {
clearTimeout(this.resetTimeout);
if (this.resetTimeoutId) {
clearTimeout(this.resetTimeoutId);
}
this.clearTimeout = null;
this.resetTimeoutId = null;
this.buffer = [];
}