Keyboard shortcut for toggling the visibility of the developer console
It would be useful to be able to toggle the visibility of the developer console with a key press.
Once #2290 (closed) is fixed, it should be easy to add a keyboard shortcut by using app.shortcuts.add
. See for example Application._createActions.