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 782457 - extensions: Move user-theme into core gnome-shell
extensions: Move user-theme into core gnome-shell
Status: RESOLVED DUPLICATE of bug 650701
Product: gnome-shell
Classification: Core
Component: extensions
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2017-05-10 16:42 UTC by Jeremy Bicha
Modified: 2017-05-10 16:57 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Jeremy Bicha 2017-05-10 16:42:59 UTC 
Hi, why don't we move user-theme into core gnome-shell so that it's always available?

The user experience in Tweak Tool is a bit bad because the Appearance tab says you need to enable the shell-theme extension but it does not tell you that you will need to close Tweak Tool for Tweak Tool to recognize that shell-theme is enabled.

More third-party themes are shipping optional GNOME Shell themes and it would be nice if a user didn't have to all those extra steps but could just choose the Shell theme from Tweak Tool>Appearance.
Comment 1 Florian Müllner 2017-05-10 16:57:07 UTC 
(In reply to Jeremy Bicha from comment #0)
> Hi, why don't we move user-theme into core gnome-shell so that it's always
> available?

Because we don't officially support 3rd-party themeing - the CSS is not limited to appearance, but also influences layout, so a bad theme (or one that hasn't been updated for shell/css changes) can actually break the shell.

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