https://ubuntuhandbook.org/index.php/2023/09/mouse-scroll-switching-workspaces/