diff options
| author | Wolfgang Ulbrich <[email protected]> | 2016-02-14 11:22:11 +0100 |
|---|---|---|
| committer | Wolfgang Ulbrich <[email protected]> | 2016-02-16 23:19:33 +0100 |
| commit | 0be1bd917ac00a4553bc6d3ace836aed44cd99a4 (patch) | |
| tree | 0354f922c94d4142cab3f3107bf890e8536d7703 /applets/wncklet/workspace-switcher.ui | |
| parent | 22516191381198c85e4e480c7603e5827ac17349 (diff) | |
| download | mate-panel-0be1bd917ac00a4553bc6d3ace836aed44cd99a4.tar.bz2 mate-panel-0be1bd917ac00a4553bc6d3ace836aed44cd99a4.tar.xz | |
GTK+-3.0 workspace-switcher: Remove switching workspace on scroll events
This is now done by WnckPager itself.
And it fixes a build warning.
taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=8a8c60f
Diffstat (limited to 'applets/wncklet/workspace-switcher.ui')
0 files changed, 0 insertions, 0 deletions