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.
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.