Search results for "extension"
11.
gnome-overview-conf
Gnome Extensions
by
vbextreme
edit your overview configuration
see on github for more information
extension gnome linux unix
6.1
May 14 2018
12.
Window Applets
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...
extension gnome linux unix
8.0
Aug 03 2017
13.
Gnome lightdm Lock screen
Gnome Extensions
by
Donaldp
Gnome extension for g3.10 that adds a lock function to gnome for Lightdm
extension gnome linux unix
5.0
Aug 20 2014
14.
focus effect update
Gnome Extensions
by
dams69
then put the folder into usr/share/gnome-shell/extension
available soon at https://extensions.gnome.org
extension gnome linux unix
6.8
Aug 16 2012
15.
Hybrid-DAW-Dock-Extension-Theme
Gnome Extensions
by
draco23hack
Theme for the gnome-shell dock extension now part of the theme as it is the bottom panel extension
extension gnome linux unix
6.1
Feb 25 2012
16.
Extended Places Menu Extension
Gnome Extensions
by
petrakis
[b]Extended Places Menu Extension[/b]
[b] NEW 1.5.4[/b]
- SSH Menu added (ssh,rdesktop,putty
extension gnome linux unix
7.5
Dec 11 2011
17.
Window List Extension
Gnome Extensions
by
KurtRottmann
This Gnome Shell extension tries to transform the Application Menu to a window list.
Tested
extension gnome linux unix
7.6
Nov 25 2011