*wave hotkey

[mozi]

Ctrl+W should wave instead of winking, cause there's a lot of times you want to grab someone's attention when they are zooming at the hall, too fast for you to type something out, and a wink does not signify this intention