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