changed: F1 opens command palette
This commit is contained in:
parent
6e4a01b9c3
commit
87f31a6a26
4
main.js
4
main.js
|
@ -120,7 +120,6 @@ var commands = [
|
||||||
allowunsaved: true
|
allowunsaved: true
|
||||||
},
|
},
|
||||||
{
|
{
|
||||||
shortcut: "F1",
|
|
||||||
hint: "Show help",
|
hint: "Show help",
|
||||||
action: showhelp
|
action: showhelp
|
||||||
},
|
},
|
||||||
|
@ -2459,9 +2458,10 @@ function mainkeydownhandler()
|
||||||
fileindex = Math.max(fileindex, 0);
|
fileindex = Math.max(fileindex, 0);
|
||||||
applyfileindex();
|
applyfileindex();
|
||||||
}
|
}
|
||||||
else if (event.ctrlKey && event.key == " " || event.key == "F2")
|
else if (event.ctrlKey && event.key == " " || event.key == "F1")
|
||||||
{
|
{
|
||||||
commandpalette();
|
commandpalette();
|
||||||
|
event.preventDefault();
|
||||||
}
|
}
|
||||||
else if (event.ctrlKey && event.shiftKey && (event.keyCode == "40" || event.keyCode == "38"))
|
else if (event.ctrlKey && event.shiftKey && (event.keyCode == "40" || event.keyCode == "38"))
|
||||||
{
|
{
|
||||||
|
|
Loading…
Reference in New Issue