search

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

Port extension to GNOME 45 #6

Closed tmke8 closed 7 months ago

tmke8 commented 12 months ago

I used this guide: https://gjs.guide/extensions/upgrading/gnome-shell-45.html

Unfortunately, the code can't still be compatible with older GNOME versions. I don't really know how to deal with that.

closes #5

clorl commented 9 months ago

Bump, can this be merged?

amalantony commented 7 months ago

This is merged, thanks @tmke8. I guess one solution would be to maintain the older support on a different branch & have 2 separate extensions published.

amalantony commented 7 months ago

Regarding my earlier comment, it's not required to publish two separate extensions. The version control is done by extensions.gnome.org. It'll serve the right version of the extension based on your gnome shell version. Submitted version 45 for approval.