jquery/jquery-ui — comment on commit b230414b6fe07cda59fcb22ca00a4e55c4b12058
File: ui/jquery.ui.mask.js line 182
By jzaefferer:

An event.isMetaKey() (or isModifierKey?) would be really useful.