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.
This commit is contained in:
committed by
Giovanni Campagna
parent
dd28a76c81
commit
ac49ee0b5c
@@ -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);
|
||||
|
||||
Reference in New Issue
Block a user