I don't know how to deal with the inconsistency of modifier key conventions over platforms now. Ideally we should allow the user to determine it through some kind of preference settings.