added shortcut for closing all editors