Giovanni Campagna 631f88ff42 dock: dispose of settings before getting rid of it ...

Calling run_dispose on a GObject automatically disconnects all
signals, which is exactly what we need.

2011-12-22 15:15:16 +01:00

..

extension.js

dock: dispose of settings before getting rid of it

2011-12-22 15:15:16 +01:00

Makefile.am

Add capability to build extension zip-files

2011-11-19 15:42:27 +01:00

metadata.json.in

Remove all references to localedir from metadata.json

2011-11-20 00:40:20 +01:00

org.gnome.shell.extensions.dock.gschema.xml.in

dock: fix documentation and default value of hide-effect

2011-12-19 16:33:30 +01:00

stylesheet.css

dock: use core shell styling

2011-12-20 19:52:25 +01:00