Dear Maintainer,

The Workspace Switcher (pager) panel plugin has the option "Switch workspaces
using the mouse wheel" which behaves similar to the option in the "Window
Manager Tweaks"->"Workspaces" setting "Use the mouse wheel on the desktop to
switch workspaces" except it does not respect the option found there "Wrap
workspaces when the first or the last workspace is reached". Either the
behavior should be updated to be consistent or, if having the Workspace
Switcher behavior depend on the Window Manager configuration, then a "Wrap
workspaces when the first or the last workspace is reached" checkbox should be
added to the Workspace Switcher settings.

Expected behavior: scrolling up on Workspace Switcher when currently on the
first desktop switches desktops to the last desktop.

Observed behavior: nothing happens.