For me, not at all. First thing if that plugin is disabled by default, is enabling it, because I often use scroll wheel on Desktopto change Desktops. So this would be just more work (enabling it), and helping us all to forget a bug which is not solved. Anyway, for the mayority who use Ubuntu the first time and don't know about the mouse wheel on the desktop, it would be better, because they can't be surprised by it.
I don't understand exactly why this bug can't be downtracked to get rid of it - but I am no C/Gtk devel. -- Mouse scroll wheel moves between desktops when over parts of application windows https://bugs.launchpad.net/bugs/277195 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
