Add a property to the Tasklist widget to disable automatic switching between buttons using the scroll wheel.

(Requires a corresponding change in mate-panel to be useful...)