Implemented workspace switching by scrolling on and the edge of the …#249

Open

marmis85 wants to merge 4 commits intomicheleg:masterfrom marmis85:workspace-scrolling

+37-2

Commits on Nov 13, 2015

Implemented workspace switching by scrolling on and the edge of the dock when using fixed-sized icons
Fabio Marmiroli
committed
Added explanation in the settings UI
Fabio Marmiroli
committed

Commits on Nov 14, 2015

use the actor that is passed to the _OnScrollEvent function
marmis85
committed

Commits on Nov 23, 2015

Let the event propagate if there is no need to scroll
Fabio Marmiroli
committed