9 Commits (96e7069d73b99bf51c49a1a3d97375a910b7e0c5)

Author	SHA1	Message	Date
Jens Lody	067edf5c51	fix two incorrect url's pointing to wromg github-repo	11 years ago
Neroth	31d8122042	Fix #74 & #77 (GSetting)	12 years ago
Neroth	76edf2857e	Minor fix	12 years ago
Neroth	d46b13d7b0	prefs.js (adapted from canek-pelaez version) #21 #59 #69, many update	12 years ago
Neroth	47622c30bb	Adding the new settings panel in autotools	13 years ago
Jean-Philippe Braun	40bbe2b92d	Add explicit compatible gnome-shell versions	13 years ago
Jean-Philippe Braun	71eb5f06c6	Support for gnome-shell 3.2	13 years ago
ecyrbe	3b75e6a9f0	Add GSettings configuration ... No more code editing. This extension now uses gsettings to configure everything. Documention updated according to this functionnality Under the woods, we added gsettings schemas that need to be installed in the system so you need admin rights to install this extension.	14 years ago
fredo	4e58e6bbb2	Add autotool compilation support ... this allows for some automatic configuration and potfiles management and allow to install the extension	14 years ago
ecyrbe	7d36091a83	Add autotool compilation support ... this allows for some automatic configuration and potfiles management and allow to install the extension	14 years ago