Ctrl-Shift-D for Mac (bug: #8)