[gnome-shell-extensions] user-theme: look for gnome-shell themes in ~/.local/share too

[Giovanni Campagna <gcampagna src gnome org>]

commit ae9df9f0010eaadc79d068c49f96c8265b181014
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sun Jul 14 15:18:08 2013 +0200

    user-theme: look for gnome-shell themes in ~/.local/share too
    
    Just like we look in XDG_DATA_DIRS, we should honor XDG_DATA_HOME
    as well.
    For compatibility reasons, we look in ~/.themes first, then ~/.local/share,
    then /usr/share.

 extensions/user-theme/extension.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index 7d8f922..b36d36a 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -45,6 +45,7 @@ const ThemeManager = new Lang.Class({
                 _stylesheet = _userCssStylesheet;
             else {
                 let sysdirs = GLib.get_system_data_dirs();
+                sysdirs.unshift(GLib.get_user_data_dir());
                 for (let i = 0; i < sysdirs.length; i++) {
                     _userCssStylesheet = sysdirs[i] + '/themes/' + _themeName + 
'/gnome-shell/gnome-shell.css';
                     let file = Gio.file_new_for_path(_userCssStylesheet);