[Bug 16713] New: Request: Richedit should handle Ctrl+Scrollwheel