disabling workspace switch when scrolling on desktop is one thing (and i think is just fine), but disabling when scrolling on workspace switcher is quite another.
that's what the workspace switcher is for - switching workspaces. i use the scroll method to switch workspaces in the workspace switcher all the time. it makes sense, and is very convenient. please don't remove that.
disabling workspace switch when scrolling on desktop is one thing (and i think is just fine), but disabling when scrolling on workspace switcher is quite another.
that's what the workspace switcher is for - switching workspaces. i use the scroll method to switch workspaces in the workspace switcher all the time. it makes sense, and is very convenient. please don't remove that.