Workspace Switcher/Pager: Please give option "Switch workspaces using the mouse wheel" for Miniature View Appearance too
There's no option to turn off option "Switch workspaces using the mouse wheel" if I am using the Workspace Switcher/Pager in the "Miniature View" appearance - it's only there for the "Buttons" appearance, and seems not at all possible to turn off for "Miniature View".
Please make it possible to turn it off also if I am using "Miniature View" appearance.