2019-11-07 15:55:13 +00:00
|
|
|
// -*- mode: js2; indent-tabs-mode: nil; js2-basic-offset: 4 -*-
|
|
|
|
// Load shell theme from ~/.local/share/themes/name/gnome-shell
|
|
|
|
/* exported init */
|
|
|
|
|
2020-11-10 02:15:36 +00:00
|
|
|
const { Gio } = imports.gi;
|
2019-11-07 15:55:13 +00:00
|
|
|
|
|
|
|
const ExtensionUtils = imports.misc.extensionUtils;
|
|
|
|
const Main = imports.ui.main;
|
|
|
|
|
2020-11-10 02:15:36 +00:00
|
|
|
const Me = ExtensionUtils.getCurrentExtension();
|
|
|
|
const Util = Me.imports.util;
|
|
|
|
|
2019-11-07 15:55:13 +00:00
|
|
|
const SETTINGS_KEY = 'name';
|
|
|
|
|
|
|
|
class ThemeManager {
|
|
|
|
constructor() {
|
|
|
|
this._settings = ExtensionUtils.getSettings();
|
|
|
|
}
|
|
|
|
|
|
|
|
enable() {
|
|
|
|
this._changedId = this._settings.connect(`changed::${SETTINGS_KEY}`, this._changeTheme.bind(this));
|
|
|
|
this._changeTheme();
|
|
|
|
}
|
|
|
|
|
|
|
|
disable() {
|
|
|
|
if (this._changedId) {
|
|
|
|
this._settings.disconnect(this._changedId);
|
|
|
|
this._changedId = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
Main.setThemeStylesheet(null);
|
|
|
|
Main.loadTheme();
|
|
|
|
}
|
|
|
|
|
|
|
|
_changeTheme() {
|
|
|
|
let stylesheet = null;
|
|
|
|
let themeName = this._settings.get_string(SETTINGS_KEY);
|
|
|
|
|
|
|
|
if (themeName) {
|
2020-11-10 02:15:36 +00:00
|
|
|
const stylesheetPaths = Util.getThemeDirs()
|
|
|
|
.map(dir => `${dir}/${themeName}/gnome-shell/gnome-shell.css`);
|
|
|
|
|
|
|
|
stylesheetPaths.push(...Util.getModeThemeDirs()
|
|
|
|
.map(dir => `${dir}/${themeName}.css`));
|
2019-11-07 15:55:13 +00:00
|
|
|
|
|
|
|
stylesheet = stylesheetPaths.find(path => {
|
|
|
|
let file = Gio.file_new_for_path(path);
|
|
|
|
return file.query_exists(null);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
if (stylesheet)
|
|
|
|
global.log(`loading user theme: ${stylesheet}`);
|
|
|
|
else
|
|
|
|
global.log('loading default theme (Adwaita)');
|
|
|
|
Main.setThemeStylesheet(stylesheet);
|
|
|
|
Main.loadTheme();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function init() {
|
|
|
|
return new ThemeManager();
|
|
|
|
}
|