##// END OF EJS Templates
show_keyboard_shortcuts -> toggle_keyboard_shortcuts...
MinRK -
r5067:d8d17522
Show More