After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 640821 - Gnome-Shell should allow user theme choice
Gnome-Shell should allow user theme choice
Status: RESOLVED DUPLICATE of bug 630428
Product: gnome-shell
Classification: Core
Component: general
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2011-01-28 13:25 UTC by Quentin "Sardem FF7" Glidic
Modified: 2011-01-28 14:40 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Small patch to allow user theme choice (4.54 KB, patch)
2011-01-28 13:25 UTC, Quentin "Sardem FF7" Glidic 		none Details | Review

Description Quentin "Sardem FF7" Glidic 2011-01-28 13:25:41 UTC 
Created attachment 179514 [details] [review]
Small patch to allow user theme choice

There should be an option (a gsettings key) to allow user to choose a theme.

And for designers, a "none" theme allow to use only the user CSS file to theme Gnome-Shell.

Don't use the attached patch alone: this is only the useful part of the commit as it need some (empty) file creation and file move (theme -> themes/default).
Comment 1 Owen Taylor 2011-01-28 14:40:50 UTC 

*** This bug has been marked as a duplicate of bug 630428 ***