diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js index 98497312..d9d5b388 100644 --- a/extensions/user-theme/extension.js +++ b/extensions/user-theme/extension.js @@ -1,5 +1,5 @@ // -*- mode: js2; indent-tabs-mode: nil; js2-basic-offset: 4 -*- -// Load shell theme from ~/.themes/name/gnome-shell +// Load shell theme from ~/.local/share/themes/name/gnome-shell /* exported init */ const { Gio, GLib } = imports.gi; @@ -34,11 +34,17 @@ class ThemeManager { let _themeName = this._settings.get_string(SETTINGS_KEY); if (_themeName) { - let _userCssStylesheet = GLib.build_filenamev([ + let _userCssStylesheetCompat = GLib.build_filenamev([ GLib.get_home_dir(), '.themes', _themeName, 'gnome-shell', 'gnome-shell.css' ]); + let fileCompat = Gio.file_new_for_path(_userCssStylesheetCompat); + let _userCssStylesheet = GLib.build_filenamev([ + GLib.get_user_data_dir(), 'themes', _themeName, 'gnome-shell', 'gnome-shell.css' + ]); let file = Gio.file_new_for_path(_userCssStylesheet); - if (file.query_exists(null)) + if (fileCompat.query_exists(null)) + _stylesheet = _userCssStylesheetCompat; + else if (file.query_exists(null)) _stylesheet = _userCssStylesheet; else { let sysdirs = GLib.get_system_data_dirs();