diff options
| author | Moritz Bruder <[email protected]> | 2017-03-23 21:20:19 +0100 |
|---|---|---|
| committer | lukefromdc <[email protected]> | 2017-03-30 14:21:23 -0400 |
| commit | 9b8f9e8147e27e19eb08a262a140b937051545b9 (patch) | |
| tree | 3bf73b7efb037ea2b86bb43fdf5d7928548290af /applets/wncklet/window-list.ui | |
| parent | 2c1957f884a5e11f8cd6536b9b4cca3f0ee86b6b (diff) | |
| download | mate-panel-9b8f9e8147e27e19eb08a262a140b937051545b9.tar.bz2 mate-panel-9b8f9e8147e27e19eb08a262a140b937051545b9.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.
Diffstat (limited to 'applets/wncklet/window-list.ui')
0 files changed, 0 insertions, 0 deletions