Pour activer/désactiver le support de la roulette de souris changeant de workspace (panneau virtuel), il faut aller dans le menu Settings / Settings Manager / Window Manager Tweaks, puis activer/désactiver "Use the mouse wheel on desktop to switch workspaces"