imakewebthings/deck.js — pull request #141 by twitwi (2013-11-04 23:08:12+00:00)
Title: [menu] preventing menu toggle when Ctrl is pressed 

(e.g., for Ctrl+Shift...+M for responsive design view)

as discussed.