让Gnome 3.2上的dock扩展工作

前几天把ArchLinux的Gnome升级到了3.2版本。
升完后,’gnome-shell-extension-dock’就无法工作了,用得顺顺得dock一下不见了很不习惯。前几天网上找也无果。

然后,终于在今天找到了方法:

# cd /usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/
# vim extension.js

找到”this.actor.lower_bottom();”这一行,把它注释掉。保存后,在gnome-tweak-tool中把dock-extensions重新启用。Enjoy!
发现3.2的dock可以自动隐藏了,这个很是喜欢呐。