Search results for "extension"
1.
EOS Shell
Gnome Shell Themes
by
BigCityCat
extensions. Either hide top bar or Dynamic panel transparency. I have listed them below.
https
7.3
Oct 16 2020
2.
Brayzill
GTK3/4 Themes
by
paulxfce
:[/b]
Disable gnome-extensions that reside on the headerbar because they mess up the headerbar-theming
7.8
May 30 2020
3.
Desaturin
GTK3/4 Themes
by
paulxfce
:[/b]
GTK+ 3.22 or later. Only standard (or Ubuntu) gnome-desktop is supported.
Disable gnome-extensions
7.9
Oct 28 2019
4.
Telinkrin-Gradient
GTK3/4 Themes
by
paulxfce
18.04
Disable gnome-extensions that reside on the headerbar because they mess up the headerbar-theming
7.8
Oct 28 2019
5.
Telinkrin- Arrongin themes
GTK3/4 Themes
by
paulxfce
(or Ubuntu) gnome-desktop is supported. Ready for Ubuntu 18.04
Disable gnome-extensions that reside
8.5
Oct 29 2019
6.
Arc-Zenburn for GNOME
GTK3/4 Themes
by
unheeding
using Dash2Dock extension for GNOME, I just end up overriding the system (Arc-Zenburn) theme
6.0
Sep 05 2018
7.
Corporatrin-GTK
GTK3/4 Themes
by
paulxfce
(or Ubuntu) gnome-desktop is supported. Ready for Ubuntu 18.04
Disable gnome-extensions that reside
8.0
Jun 21 2018
