I'll try to get this accepted upstream first, but in case I won't - I'll get back and we'll continue discussing the issue here instead. I also think that when we're adding an option to the window list to enable mouse wheel scrolling, we should do the same for the workspace switcher, but that's for another bug...
I'll try to get this accepted upstream first, but in case I won't - I'll get back and we'll continue discussing the issue here instead. I also think that when we're adding an option to the window list to enable mouse wheel scrolling, we should do the same for the workspace switcher, but that's for another bug...