Add compatibility with Gnome Shell 3.30

Tomha / gnome-shell-extension-workspace-switcher

GNOME Shell extension for viewing and changing the current workspace.

GNU General Public License v3.0

47 stars 6 forks source link

Closed SmileyChris closed 5 years ago

SmileyChris commented 5 years ago

Hey, I added in some changes to make this continue to work in gnome shell 3.30 (i.e. Ubuntu 18.10)

Tomha commented 5 years ago

Thanks for sharing your changes, they seem to work well.