From ac49ee0b5ce1204e57e55b264272e2da6375a253 Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Sun, 14 Jul 2013 15:18:08 +0200 Subject: [PATCH] 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 file changed, 1 insertion(+) diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js index 7d8f9226..b36d36a5 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);