Make it work with gnome-shell 42

amalantony / gnome-shell-extension-instant-workspace-switcher

A GNOME shell extension to disable the workspace switch animation. Instantly switch workspaces with keyboard shortcuts.

GNU General Public License v2.0

20 stars 9 forks source link

Closed M0dM closed 2 years ago

M0dM commented 2 years ago

It is enough to make it work with gnome-shell 42.0, the animation file and function is still the same.

amalantony commented 2 years ago

@M0dM Thanks, merged.