Ctrl+scrollwheel is a general richedit shortcut, so its not a bug. This is most likely happening because that event is not being caught by mIRC and the line numbers font is not being changed accordingly.