gnome-shell-extension-user-theme - Lets the user select a custom theme for the shell
| Website: | http://live.gnome.org/GnomeShell/Extensions |
|---|---|
| License: | GPLv2+ |
- Description:
Lets the user select a custom theme for the Gnome shell. It will allow you to apply a style from /.themes/[themeName]/gnome-shell/gnome-shell.css
Packages
| gnome-shell-extension-user-theme-3.2.3-2m.mo8.i686 [6 KiB] |
Changelog
by SANUKI Masaru (2012-01-16):
- (3.2.3-2m) - add patch2 - disable autohide |