Update keyboard_shortcuts.js to work with all browsers