Search results for "extension"

1.

Maxim

Gnome Shell Themes by hackan301
Tweak Tool 3) Enjoy. ----------------------| Useful extensions |- User themes [ https
7.8
Dec 13 2017
2.

365OS

GTK3/4 Themes by facecolor
Use the GNOME tweak tool to select the theme(gnome) Install GNOME Shell extension to enable
7.9
Aug 28 2019
3.

United GNOME

GTK3/4 Themes by globalmenuwhen
of the GNU General Public License, version 3 or later. Extensions ---------- Dash to dock. Enable panel
7.9
Nov 22 2017
4.

Color

GTK3/4 Themes by facecolor
) Install GNOME Shell extension to enable the appropriate Shell theme. Set -> personalization -> theme
7.8
Jan 13 2019
5.

Corporatrin-GTK

GTK3/4 Themes by paulxfce
(or Ubuntu) gnome-desktop is supported. Ready for Ubuntu 18.04 Disable gnome-extensions that reside
7.8
Jun 21 2018