diff options
| author | Moritz Bruder <[email protected]> | 2017-03-23 21:20:19 +0100 |
|---|---|---|
| committer | monsta <[email protected]> | 2017-04-03 14:27:36 +0300 |
| commit | 7d55c5a174884d5f2f301c5ea183fb70dea26363 (patch) | |
| tree | ea73e8e4b186bfcb7b282ed4e25b4f1504a42da7 /help | |
| parent | a4f21ec70b26aae76a071bdd323e0ea0faf7bf98 (diff) | |
| download | mate-panel-7d55c5a174884d5f2f301c5ea183fb70dea26363.tar.bz2 mate-panel-7d55c5a174884d5f2f301c5ea183fb70dea26363.tar.xz | |
Reenable workspace switcher wrapping
These changes have been accidentally removed. The previously used
handler has been added to the code again, which connects to the scroll
event of the WnckPager widget.
port of 9b8f9e8147e27e19eb08a262a140b937051545b9 + fix from 9705869fdcf0f31bc05b8454cd7ec60b7b489234
Diffstat (limited to 'help')
0 files changed, 0 insertions, 0 deletions