Improve Web IDE command palette shortcut
The current shortcut is
F1 which is not obvious and doesn't match any existing editors that I am aware of.
maybe we should change the command palette to a more familiar shortcut?
Ctrl+Shift+P) is used by VS Code and Atom.
Change command palette shortcut to