You need a special extension called the "User Themes".[0] GNOME 3.6 added a "Shell Theme" option for changing the shell theme if you have this extension installed, but I don't know how you do it in GNOME 3.4 (what Trisquel 6 uses).

[0] https://extensions.gnome.org/extension/19/user-themes/

Reply via email to