VesperOS/gnome-shell-extensions
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
3.3.3
gnome-shell-extensions/extensions/dock
History
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