Gnome Extensions by vbextreme
edit your overview configuration see on github for more information
May 14 2018
Gnome Extensions by qunxyz
Disable screensaver and auto suspend Since eonpatapon not gonna maintain anymore, and I fixed some bugs and added some features though, so I thought maybe should published it out. If you liked caffeine before, maybe you would liked this new version I also made a caffeine widget for plasma 5,...
Feb 07 2018
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 Donaldp
Gnome extension for g3.10 that adds a lock function to gnome for Lightdm
Aug 20 2014
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
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 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