Gnome Extensions by holodeck
GNOME Panel applets substitute the maximized window title and buttons. I've decided to make it because GNOME violates Fitts's Law by putting a panel between the maxed window buttons and the corner of the screen. These applets were designed to solve the problem. Window Title and Window Buttons...
Aug 03 2017
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.1 INSTALLATION: - Uncompress windowlist-02.tar.gz - Copy both directories to /home/yourname/.local/share/gnome-shell/extensions/ - Restart the shell: ALT + F2, type "r"...
Nov 25 2011
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 readyTRANSLATIONS download the pot file and send the translations to email@example.com Available language packs will be...
Dec 11 2011
Gnome Extensions by dams69
add transparency to gnome-shell window you'll need git to download it unzip the downloaded file then put the folder into usr/share/gnome-shell/extension available soon at https://extensions.gnome.org just waiting for a review...
Aug 16 2012
Gnome Extensions by draco23hack
Theme for the gnome-shell dock extension now part of the theme as it is the bottom panel extension, now everything is integrated, when you install my theme you have everything in one, no more changes or having to deal with the dock extension's file or anything like that, install this theme and...
Feb 25 2012