The mouse wheel would look broken if scrolling stopped when control is accidentally pressed.
Hmm, ok, in that case is it safe for us to simply edit the event to remove the control mask then let it go to Scintilla, maybe @b4n knows, or you could try it.