Search results for "extension"

11.

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...
unix linux gnome extension
8.0
Aug 03 2017
12.

Gnome lightdm Lock screen

Gnome Extensions by Donaldp
Gnome extension for g3.10 that adds a lock function to gnome for Lightdm
unix linux extension gnome
5.0
Aug 20 2014
13.

focus effect update

Gnome Extensions by dams69
then put the folder into usr/share/gnome-shell/extension available soon at https://extensions.gnome.org
linux extension gnome unix
6.8
Aug 16 2012
14.

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
gnome extension unix linux
6.1
Feb 25 2012
15.

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
unix linux gnome extension
7.6
Dec 11 2011
16.

Window List Extension

Gnome Extensions by KurtRottmann
This Gnome Shell extension tries to transform the Application Menu to a window list. Tested
gnome extension unix linux
7.6
Nov 25 2011