How to disable super + mousewheel switching workspaces

Hi there,

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

Background:
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() {
    global.display.block_signal_handler(Main.wm._superScrollId);
}

function disable() {
    global.display.unblock_signal_handler(Main.wm._superScrollId);
}