editor shortcuts; all dockable widgets in 'View' submenu