Search results for "red"

Gnome Extensions by holodeck

to increase vertical screen space. By default they only control maximized windows, but can be configured

8.0

Aug 03 2017

Gnome Extensions by petrakis

are stored and loaded through dconf (see in video, open in firefox) [url]http://dl.dropbox.com/u/11001258

7.5

Dec 11 2011