Gnome Extensions by petrakis
Extended Places Menu Extension NEW 1.5.4- SSH Menu added (ssh,rdesktop,putty)- fixed bookmarks support if bookmarks are hard-linked to external device- multi-language readyTRANSLATIONSdownload the pot file and send the translations to firstname.lastname@example.orgAvailable language packs will be...
Dec 11 2011
Gnome Extensions by KurtRottmann
This Gnome Shell extension tries to transform the Application Menu to a window list.Tested in Fedora 16 and GNOME Shell 3.2.1INSTALLATION:- Uncompress windowlist-02.tar.gz- Copy both directories to /home/yourname/.local/share/gnome-shell/extensions/- Restart the shell: ALT + F2, type "r" and...
Nov 25 2011