Extremely common window-closing shortcut.
Merge pull request #124 from robru/patch-4

Extremely common window-closing shortcut.