Modified dock gnome-shell extension