workspace switcher does not respect wraparound settings

Submitted by illumilore

Assigned to Nick Schermer

Link to original bug (#12808)

Description

With the workspace settings set to wraparound (hitting keyboard shortcut move workspace to the left on the leftmost wraps around to the rightmost), the workspace switcher panel plugin does not wraparound when using mousewheel on it.

Version: 4.12.0