Simoliv's Stars
bit-willi/gnome-navigation-between-workspaces-using-mouse-shortcut
simple script to add navigation functionality between workspaces, using shortcuts linking mouse and keyboard
simple script to add navigation functionality between workspaces, using shortcuts linking mouse and keyboard