BranchCommit messageAuthorAge
masterUse the shell's function to add the keybindingsMarco Barisione5 years
AgeCommit messageAuthorFilesLines
2013-06-18Use the shell's function to add the keybindingsHEADmasterMarco Barisione1-1/+3
2013-06-18metadata.json: update shell-version (for 3.8)Marco Barisione1-1/+1
2012-11-22Main.panel._statusArea became Main.panel.statusArea in 3.6Marco Barisione1-1/+1
2012-11-22Declare we support gnome-shell 3.6Marco Barisione1-1/+1
2012-07-31Improve debugging instructions and add my email addressMarco Barisione1-4/+4
2012-07-31Ops, don't forget to distribute prefs.jsMarco Barisione1-1/+1
2012-07-31Move the debugging instructions from the README to debugging.txtMarco Barisione2-10/+17
2012-07-29Document correctly the default keybindingsMarco Barisione1-1/+1
2012-07-29Fix the link to the git repositoryMarco Barisione1-1/+1
2012-07-29Fix the link to now that the extension got an IDMarco Barisione1-1/+1