Closed
Description
Currently Cmd-W does nothing, and Ctrl-W closes the window. This should be swapped to be consistent with both: a) other backends; and b) OS X keyboard shortcuts.
Originally discussed in #1902.
{{ message }}
No one assigned
No type
No projects
None yet
No branches or pull requests