search

micheleg / dash-to-dock

A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
https://micheleg.github.io/dash-to-dock/
GNU General Public License v2.0
3.88k stars 459 forks source link

Maintenance release for 3.12 needed - Cannot switch more than one workspace when downloading from gnome extension website #121

Closed MalcolmMielle closed 9 years ago

MalcolmMielle commented 9 years ago

Hello,

I know the bug as been solved but I'm still having it when I download the extension through Gnome Extension Website.

micheleg commented 9 years ago

Hi,

Which shell version are you using?

MalcolmMielle commented 9 years ago

I'm on gnome-shell 3.12 on fedora 20

micheleg commented 9 years ago

The bugs fix was backported to the gnome-3.12 branch. However, I never released an update for 3.12 on the extension site, thus you aare still experiencing the bug. I'll probably do a maintenance release for 3.12. In the meantime you can download the gnome-3.12 branch directly from github.

MalcolmMielle commented 9 years ago

Ok ! Thanks for all. I was really sad it got broken, your extension is amazing =)

micheleg commented 9 years ago

Closing as a new version including the patch has been released.