can not change gnome shell window border theme, only gtk theme

[Le Gluon Du Net]

Hello,

try this to reproduce this bug:

- download a GTK3 theme compatible gnome-shell 3.6 on this website: http://gnome-look.org/
- install it in ~/themes
- choose this theme in gnome-tweak (both actual theme and gtk+ theme)

--> the theme applied for the inside window (gtk) but not for the window border (mutter?)

2nd test:

- use the same theme, delete it from the ~/themes folder and install it in the /usr/share/themes/ folder
- choose this theme in gnome-tweak (both actual theme and gtk+ theme)

--> the theme apply both gtk and window border

Could you reproduce this bug?

ProblemType: Bug
DistroRelease: Ubuntu 12.10
Package: gnome-shell 3.6.1-0ubuntu1
ProcVersionSignature: Ubuntu 3.5.0-17.28-generic 3.5.5
Uname: Linux 3.5.0-17-generic x86_64
NonfreeKernelModules: fglrx
ApportVersion: 2.6.1-0ubuntu3
Architecture: amd64
Date: Wed Oct 24 22:21:48 2012
DisplayManager: lightdm
GsettingsChanges:
 b'org.gnome.desktop.interface' b'clock-show-date' b'true'
 b'org.gnome.desktop.interface' b'cursor-theme' b"'Adwaita'"
 b'org.gnome.desktop.interface' b'gtk-theme' b"'GnomishGray'"
 b'org.gnome.desktop.interface' b'icon-theme' b"'macubuntu'"
InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Release amd64 (20120425)
SourcePackage: gnome-shell
UpgradeStatus: Upgraded to quantal on 2012-09-15 (39 days ago)

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Morgan Antonsson (morgan.antonsson)]

It seems Gnome Shell in 3.6.1 looks for metacity themes in ~/.local/share/themes instead of in ~/.themes. Gtk still looks for themes in ~/.themes, though. As a workaround, you can symlink one of the locations to the other one.

[Daniel van Vugt (vanvugt)]

Thank you for reporting this bug to Ubuntu.
Ubuntu 12.10 (quantal) reached end-of-life on May 16, 2014.

See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases

We appreciate that this bug may be old and you might not be interested in discussing it any more. But if you are then please upgrade to the latest Ubuntu version and re-test.

[Launchpad Janitor (janitor)]

[Expired for gnome-shell (Ubuntu) because there has been no activity for 60 days.]