Workspace Switcher disable mouse wheel switch

[Andreas Ronnquist]

On Sat, 28 Aug 2021 09:33:40 -0500,
Marshall Neill<ramien43 at windstream.net> wrote:

>It's in the Window Manager > Window Manager Tweaks > Workspaces
>

That is for using the mouse wheel over the desktop - I am talking about
when using the mouse wheel over the workspace switcher in the panel.

regards
/Andreas Rönnquist
mailinglists at gusnan.se
andreas at ronnquist.net