the following script was created at Hackfest, IITM with the help of mentor
Yuvi Panda. It enables custom shortcut keys. You can set your own
key-selector id mapping in the keymap.js file.
importScript('User:Tarun365/shortcuts.js');
--
Tarun Bansal
Computer Science and Engineering
Vellore Institute of Technology,Vellore