How to disable super + mousewheel switching workspaces

Hi there,

I am looking for a way to disable the super key + mousewheel scroll.

I do use the super key + mouse to manage windows a lot (left click move, middle click resize). When resizing a windows with middle click I often switch to a different workspace as clicking my mouse wheel triggers also a mouse wheel scroll.

There currently is none.

I’d take a patch that saves the handler ID for the signal connection in question, so an extension could do

function enable() {

function disable() {