Update keyboard_shortcuts.js