c495ff8ad8
Using the scroll wheel in the window picker should switch workspaces. As the picker doesn't have a visible boundary though, it makes sense to accept scroll-event for the entire overview area. Rather than making the overview's main actor public, expose scroll-events via a signal. https://bugzilla.gnome.org/show_bug.cgi?id=686639 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |