Docs: document keyboard shortcuts

This commit is contained in:
oobabooga 2024-01-10 03:57:32 -08:00
parent b3fc2cd887
commit ec2da5adef
2 changed files with 21 additions and 1 deletions

View file

@ -99,7 +99,7 @@ document.addEventListener("keydown", function(event) {
}
// Switch between tabs on Tab
else if (!event.ctrlKey && !event.shiftKey && event.key === "Tab") {
else if (!event.ctrlKey && !event.shiftKey && !event.altKey && !event.metaKey && event.key === "Tab") {
event.preventDefault();
var parametersButton = document.getElementById("parameters-button");
var parentContainer = parametersButton.parentNode;