The scroll wheel on desktop causing desktop flipping is annoying to some people
(well, me and I guess I hope I'm not alone) who find themselves switching
desktops when they just wanted to scroll inside a window and went a bit outside
of it...

I suggest making it into an option.