2012-01-18 21:21:56 -05:00
|
|
|
|
|
|
|
const Lang = imports.lang;
|
|
|
|
const Gettext = imports.gettext;
|
|
|
|
const GLib = imports.gi.GLib;
|
|
|
|
const GObject = imports.gi.GObject;
|
|
|
|
const Gio = imports.gi.Gio;
|
|
|
|
const Gtk = imports.gi.Gtk;
|
|
|
|
const Pango = imports.gi.Pango;
|
2012-05-04 17:23:08 -04:00
|
|
|
const Format = imports.format;
|
2012-01-18 21:21:56 -05:00
|
|
|
|
|
|
|
const _ = Gettext.gettext;
|
|
|
|
|
|
|
|
const Config = imports.misc.config;
|
|
|
|
const ExtensionUtils = imports.misc.extensionUtils;
|
|
|
|
|
2013-10-24 17:51:58 -04:00
|
|
|
const GnomeShellIface = '<node> \
|
|
|
|
<interface name="org.gnome.Shell.Extensions"> \
|
|
|
|
<signal name="ExtensionStatusChanged"> \
|
|
|
|
<arg type="s" name="uuid"/> \
|
|
|
|
<arg type="i" name="state"/> \
|
|
|
|
<arg type="s" name="error"/> \
|
|
|
|
</signal> \
|
|
|
|
</interface> \
|
|
|
|
</node>';
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
const customCss = '.prefs-button { \
|
|
|
|
padding: 8px; \
|
|
|
|
border-radius: 20px; \
|
|
|
|
}';
|
|
|
|
|
2012-01-18 21:21:56 -05:00
|
|
|
const GnomeShellProxy = Gio.DBusProxy.makeProxyWrapper(GnomeShellIface);
|
|
|
|
|
|
|
|
function stripPrefix(string, prefix) {
|
|
|
|
if (string.slice(0, prefix.length) == prefix)
|
|
|
|
return string.slice(prefix.length);
|
|
|
|
return string;
|
|
|
|
}
|
|
|
|
|
|
|
|
const Application = new Lang.Class({
|
|
|
|
Name: 'Application',
|
|
|
|
_init: function() {
|
|
|
|
GLib.set_prgname('gnome-shell-extension-prefs');
|
|
|
|
this.application = new Gtk.Application({
|
|
|
|
application_id: 'org.gnome.shell.ExtensionPrefs',
|
|
|
|
flags: Gio.ApplicationFlags.HANDLES_COMMAND_LINE
|
|
|
|
});
|
|
|
|
|
|
|
|
this.application.connect('activate', Lang.bind(this, this._onActivate));
|
|
|
|
this.application.connect('command-line', Lang.bind(this, this._onCommandLine));
|
|
|
|
this.application.connect('startup', Lang.bind(this, this._onStartup));
|
|
|
|
|
|
|
|
this._extensionPrefsModules = {};
|
|
|
|
|
2013-02-28 08:50:56 -05:00
|
|
|
this._startupUuid = null;
|
2014-05-26 19:36:41 -04:00
|
|
|
this._loaded = false;
|
|
|
|
this._skipMainWindow = false;
|
2012-01-18 21:21:56 -05:00
|
|
|
},
|
|
|
|
|
|
|
|
_extensionAvailable: function(uuid) {
|
2012-01-30 20:58:29 -05:00
|
|
|
let extension = ExtensionUtils.extensions[uuid];
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
if (!extension)
|
2012-01-18 21:21:56 -05:00
|
|
|
return false;
|
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
if (ExtensionUtils.isOutOfDate(extension))
|
2012-01-18 21:21:56 -05:00
|
|
|
return false;
|
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
if (!extension.dir.get_child('prefs.js').query_exists(null))
|
2012-01-18 21:21:56 -05:00
|
|
|
return false;
|
|
|
|
|
|
|
|
return true;
|
|
|
|
},
|
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
_getExtensionPrefsModule: function(extension) {
|
|
|
|
let uuid = extension.metadata.uuid;
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
if (this._extensionPrefsModules.hasOwnProperty(uuid))
|
|
|
|
return this._extensionPrefsModules[uuid];
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
ExtensionUtils.installImporter(extension);
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
let prefsModule = extension.imports.prefs;
|
|
|
|
prefsModule.init(extension.metadata);
|
|
|
|
|
|
|
|
this._extensionPrefsModules[uuid] = prefsModule;
|
2012-01-18 21:21:56 -05:00
|
|
|
return prefsModule;
|
|
|
|
},
|
|
|
|
|
|
|
|
_selectExtension: function(uuid) {
|
|
|
|
if (!this._extensionAvailable(uuid))
|
|
|
|
return;
|
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
let extension = ExtensionUtils.extensions[uuid];
|
2012-01-18 21:21:56 -05:00
|
|
|
let widget;
|
|
|
|
|
|
|
|
try {
|
2012-01-30 20:58:29 -05:00
|
|
|
let prefsModule = this._getExtensionPrefsModule(extension);
|
|
|
|
widget = prefsModule.buildPrefsWidget();
|
2012-01-18 21:21:56 -05:00
|
|
|
} catch (e) {
|
2012-01-30 20:58:29 -05:00
|
|
|
widget = this._buildErrorUI(extension, e);
|
2012-01-18 21:21:56 -05:00
|
|
|
}
|
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
let dialog = new Gtk.Dialog({ use_header_bar: true,
|
|
|
|
modal: true,
|
2014-05-26 19:36:41 -04:00
|
|
|
title: extension.metadata.name });
|
|
|
|
|
|
|
|
if (this._skipMainWindow) {
|
|
|
|
this.application.add_window(dialog);
|
|
|
|
if (this._window)
|
|
|
|
this._window.destroy();
|
|
|
|
this._window = dialog;
|
|
|
|
this._window.window_position = Gtk.WindowPosition.CENTER;
|
|
|
|
} else {
|
|
|
|
dialog.transient_for = this._window;
|
|
|
|
}
|
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
dialog.set_default_size(600, 400);
|
|
|
|
dialog.get_content_area().add(widget);
|
|
|
|
dialog.show();
|
2012-01-18 21:21:56 -05:00
|
|
|
},
|
|
|
|
|
2012-01-30 20:58:29 -05:00
|
|
|
_buildErrorUI: function(extension, exc) {
|
2012-01-18 21:21:56 -05:00
|
|
|
let box = new Gtk.Box({ orientation: Gtk.Orientation.VERTICAL });
|
|
|
|
let label = new Gtk.Label({
|
2012-01-30 20:58:29 -05:00
|
|
|
label: _("There was an error loading the preferences dialog for %s:").format(extension.metadata.name)
|
2012-01-18 21:21:56 -05:00
|
|
|
});
|
|
|
|
box.add(label);
|
|
|
|
|
|
|
|
let errortext = '';
|
|
|
|
errortext += exc;
|
|
|
|
errortext += '\n\n';
|
|
|
|
errortext += 'Stack trace:\n';
|
|
|
|
|
|
|
|
// Indent stack trace.
|
|
|
|
errortext += exc.stack.split('\n').map(function(line) {
|
|
|
|
return ' ' + line;
|
|
|
|
}).join('\n');
|
|
|
|
|
|
|
|
let scroll = new Gtk.ScrolledWindow({ vexpand: true });
|
|
|
|
let buffer = new Gtk.TextBuffer({ text: errortext });
|
|
|
|
let textview = new Gtk.TextView({ buffer: buffer });
|
|
|
|
textview.override_font(Pango.font_description_from_string('monospace'));
|
|
|
|
scroll.add(textview);
|
|
|
|
box.add(scroll);
|
|
|
|
|
|
|
|
box.show_all();
|
|
|
|
return box;
|
|
|
|
},
|
|
|
|
|
|
|
|
_buildUI: function(app) {
|
|
|
|
this._window = new Gtk.ApplicationWindow({ application: app,
|
2014-05-22 22:49:37 -04:00
|
|
|
window_position: Gtk.WindowPosition.CENTER });
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
this._window.set_size_request(800, 500);
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
this._titlebar = new Gtk.HeaderBar({ show_close_button: true,
|
|
|
|
title: _("GNOME Shell Extensions") });
|
|
|
|
this._window.set_titlebar(this._titlebar);
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
let scroll = new Gtk.ScrolledWindow({ hscrollbar_policy: Gtk.PolicyType.NEVER,
|
|
|
|
shadow_type: Gtk.ShadowType.IN,
|
|
|
|
halign: Gtk.Align.CENTER,
|
|
|
|
margin: 18 });
|
|
|
|
this._window.add(scroll);
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
this._extensionSelector = new Gtk.ListBox({ selection_mode: Gtk.SelectionMode.NONE });
|
|
|
|
this._extensionSelector.set_sort_func(Lang.bind(this, this._sortList));
|
|
|
|
this._extensionSelector.set_header_func(Lang.bind(this, this._updateHeader));
|
2012-01-18 21:21:56 -05:00
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
scroll.add(this._extensionSelector);
|
2012-01-18 21:21:56 -05:00
|
|
|
|
|
|
|
|
|
|
|
this._shellProxy = new GnomeShellProxy(Gio.DBus.session, 'org.gnome.Shell', '/org/gnome/Shell');
|
|
|
|
this._shellProxy.connectSignal('ExtensionStatusChanged', Lang.bind(this, function(proxy, senderName, [uuid, state, error]) {
|
2012-01-30 20:58:29 -05:00
|
|
|
if (ExtensionUtils.extensions[uuid] !== undefined)
|
2012-01-18 21:21:56 -05:00
|
|
|
this._scanExtensions();
|
|
|
|
}));
|
|
|
|
|
|
|
|
this._window.show_all();
|
|
|
|
},
|
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
_addCustomStyle: function() {
|
|
|
|
let provider = new Gtk.CssProvider();
|
|
|
|
|
|
|
|
try {
|
|
|
|
provider.load_from_data(customCss, -1);
|
|
|
|
} catch(e) {
|
|
|
|
log('Failed to add application style');
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
let screen = this._window.window.get_screen();
|
|
|
|
let priority = Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION;
|
|
|
|
Gtk.StyleContext.add_provider_for_screen(screen, provider, priority);
|
|
|
|
},
|
|
|
|
|
|
|
|
_sortList: function(row1, row2) {
|
|
|
|
let name1 = ExtensionUtils.extensions[row1.uuid].metadata.name;
|
|
|
|
let name2 = ExtensionUtils.extensions[row2.uuid].metadata.name;
|
|
|
|
return name1.localeCompare(name2);
|
|
|
|
},
|
|
|
|
|
|
|
|
_updateHeader: function(row, before) {
|
|
|
|
if (!before || row.get_header())
|
|
|
|
return;
|
|
|
|
|
|
|
|
let sep = new Gtk.Separator({ orientation: Gtk.Orientation.HORIZONTAL });
|
|
|
|
row.set_header(sep);
|
|
|
|
},
|
|
|
|
|
2012-01-18 21:21:56 -05:00
|
|
|
_scanExtensions: function() {
|
2012-06-04 17:14:18 -04:00
|
|
|
let finder = new ExtensionUtils.ExtensionFinder();
|
|
|
|
finder.connect('extension-found', Lang.bind(this, this._extensionFound));
|
|
|
|
finder.scanExtensions();
|
2013-11-04 10:07:44 -05:00
|
|
|
this._extensionsLoaded();
|
2012-01-18 21:21:56 -05:00
|
|
|
},
|
|
|
|
|
2013-11-04 10:07:44 -05:00
|
|
|
_extensionFound: function(finder, extension) {
|
2014-05-22 22:49:37 -04:00
|
|
|
let row = new ExtensionRow(extension.uuid);
|
|
|
|
|
|
|
|
row.prefsButton.visible = this._extensionAvailable(row.uuid);
|
|
|
|
row.prefsButton.connect('clicked', Lang.bind(this,
|
|
|
|
function() {
|
|
|
|
this._selectExtension(row.uuid);
|
|
|
|
}));
|
|
|
|
|
|
|
|
row.show_all();
|
|
|
|
this._extensionSelector.add(row);
|
2012-06-04 17:14:18 -04:00
|
|
|
},
|
|
|
|
|
2013-02-28 08:50:56 -05:00
|
|
|
_extensionsLoaded: function() {
|
|
|
|
if (this._startupUuid && this._extensionAvailable(this._startupUuid))
|
|
|
|
this._selectExtension(this._startupUuid);
|
|
|
|
this._startupUuid = null;
|
2014-05-26 19:36:41 -04:00
|
|
|
this._skipMainWindow = false;
|
|
|
|
this._loaded = true;
|
2013-02-28 08:50:56 -05:00
|
|
|
},
|
2012-06-04 17:14:18 -04:00
|
|
|
|
2012-01-18 21:21:56 -05:00
|
|
|
_onActivate: function() {
|
|
|
|
this._window.present();
|
|
|
|
},
|
|
|
|
|
|
|
|
_onStartup: function(app) {
|
|
|
|
this._buildUI(app);
|
2014-05-22 22:49:37 -04:00
|
|
|
this._addCustomStyle();
|
2012-01-18 21:21:56 -05:00
|
|
|
this._scanExtensions();
|
|
|
|
},
|
|
|
|
|
|
|
|
_onCommandLine: function(app, commandLine) {
|
|
|
|
app.activate();
|
|
|
|
let args = commandLine.get_arguments();
|
2014-05-26 19:36:41 -04:00
|
|
|
|
2012-01-18 21:21:56 -05:00
|
|
|
if (args.length) {
|
|
|
|
let uuid = args[0];
|
|
|
|
|
2014-05-26 19:36:41 -04:00
|
|
|
this._skipMainWindow = true;
|
|
|
|
|
2012-01-18 21:21:56 -05:00
|
|
|
// Strip off "extension:///" prefix which fakes a URI, if it exists
|
|
|
|
uuid = stripPrefix(uuid, "extension:///");
|
|
|
|
|
2013-02-28 08:50:56 -05:00
|
|
|
if (this._extensionAvailable(uuid))
|
|
|
|
this._selectExtension(uuid);
|
2014-05-26 19:36:41 -04:00
|
|
|
else if (!this._loaded)
|
2013-02-28 08:50:56 -05:00
|
|
|
this._startupUuid = uuid;
|
2014-05-26 19:36:41 -04:00
|
|
|
else
|
|
|
|
this._skipMainWindow = false;
|
2012-01-18 21:21:56 -05:00
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
const ExtensionRow = new Lang.Class({
|
|
|
|
Name: 'ExtensionRow',
|
|
|
|
Extends: Gtk.ListBoxRow,
|
|
|
|
|
|
|
|
_init: function(uuid) {
|
|
|
|
this.parent();
|
|
|
|
|
|
|
|
this.uuid = uuid;
|
|
|
|
|
2014-05-26 17:40:26 -04:00
|
|
|
this._settings = new Gio.Settings({ schema: 'org.gnome.shell' });
|
|
|
|
this._settings.connect('changed::enabled-extensions', Lang.bind(this,
|
|
|
|
function() {
|
|
|
|
this._switch.state = this._isEnabled();
|
|
|
|
}));
|
|
|
|
|
2014-05-22 22:49:37 -04:00
|
|
|
this._buildUI();
|
|
|
|
},
|
|
|
|
|
|
|
|
_buildUI: function() {
|
|
|
|
let extension = ExtensionUtils.extensions[this.uuid];
|
|
|
|
|
|
|
|
let hbox = new Gtk.Box({ orientation: Gtk.Orientation.HORIZONTAL,
|
|
|
|
hexpand: true, margin: 12, spacing: 6 });
|
|
|
|
this.add(hbox);
|
|
|
|
|
|
|
|
let vbox = new Gtk.Box({ orientation: Gtk.Orientation.VERTICAL,
|
|
|
|
spacing: 6, hexpand: true });
|
|
|
|
hbox.add(vbox);
|
|
|
|
|
|
|
|
let name = GLib.markup_escape_text(extension.metadata.name, -1);
|
|
|
|
let label = new Gtk.Label({ label: '<b>' + name + '</b>',
|
|
|
|
use_markup: true,
|
|
|
|
halign: Gtk.Align.START });
|
|
|
|
vbox.add(label);
|
|
|
|
|
|
|
|
let desc = extension.metadata.description.split('\n')[0];
|
|
|
|
label = new Gtk.Label({ label: desc,
|
|
|
|
ellipsize: Pango.EllipsizeMode.END,
|
|
|
|
halign: Gtk.Align.START });
|
|
|
|
vbox.add(label);
|
|
|
|
|
|
|
|
let button = new Gtk.Button({ valign: Gtk.Align.CENTER,
|
|
|
|
no_show_all: true });
|
|
|
|
button.add(new Gtk.Image({ icon_name: 'emblem-system-symbolic',
|
|
|
|
icon_size: Gtk.IconSize.BUTTON,
|
|
|
|
visible: true }));
|
|
|
|
button.get_style_context().add_class('prefs-button');
|
|
|
|
hbox.add(button);
|
|
|
|
|
|
|
|
this.prefsButton = button;
|
2014-05-26 17:40:26 -04:00
|
|
|
|
|
|
|
this._switch = new Gtk.Switch({ valign: Gtk.Align.CENTER,
|
|
|
|
state: this._isEnabled() });
|
|
|
|
this._switch.connect('notify::active', Lang.bind(this,
|
|
|
|
function() {
|
|
|
|
if (this._switch.active)
|
|
|
|
this._enable();
|
|
|
|
else
|
|
|
|
this._disable();
|
|
|
|
}));
|
|
|
|
this._switch.connect('state-set', function() { return true; });
|
|
|
|
hbox.add(this._switch);
|
|
|
|
},
|
|
|
|
|
|
|
|
_isEnabled: function() {
|
|
|
|
let extensions = this._settings.get_strv('enabled-extensions');
|
|
|
|
return extensions.indexOf(this.uuid) != -1;
|
|
|
|
},
|
|
|
|
|
|
|
|
_enable: function() {
|
|
|
|
let extensions = this._settings.get_strv('enabled-extensions');
|
|
|
|
if (extensions.indexOf(this.uuid) != -1)
|
|
|
|
return;
|
|
|
|
|
|
|
|
extensions.push(this.uuid);
|
|
|
|
this._settings.set_strv('enabled-extensions', extensions);
|
|
|
|
},
|
|
|
|
|
|
|
|
_disable: function() {
|
|
|
|
let extensions = this._settings.get_strv('enabled-extensions');
|
|
|
|
let pos = extensions.indexOf(this.uuid);
|
|
|
|
if (pos == -1)
|
|
|
|
return;
|
|
|
|
do {
|
|
|
|
extensions.splice(pos, 1);
|
|
|
|
pos = extensions.indexOf(this.uuid);
|
|
|
|
} while (pos != -1);
|
|
|
|
this._settings.set_strv('enabled-extensions', extensions);
|
2014-05-22 22:49:37 -04:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
2012-01-18 21:21:56 -05:00
|
|
|
function initEnvironment() {
|
|
|
|
// Monkey-patch in a "global" object that fakes some Shell utilities
|
|
|
|
// that ExtensionUtils depends on.
|
|
|
|
window.global = {
|
|
|
|
log: function() {
|
|
|
|
print([].join.call(arguments, ', '));
|
|
|
|
},
|
|
|
|
|
|
|
|
logError: function(s) {
|
2012-05-09 21:37:42 -04:00
|
|
|
log('ERROR: ' + s);
|
2012-01-18 21:21:56 -05:00
|
|
|
},
|
|
|
|
|
|
|
|
userdatadir: GLib.build_filenamev([GLib.get_user_data_dir(), 'gnome-shell'])
|
|
|
|
};
|
|
|
|
|
|
|
|
String.prototype.format = Format.format;
|
|
|
|
}
|
|
|
|
|
|
|
|
function main(argv) {
|
|
|
|
initEnvironment();
|
|
|
|
|
|
|
|
Gettext.bindtextdomain(Config.GETTEXT_PACKAGE, Config.LOCALEDIR);
|
|
|
|
Gettext.textdomain(Config.GETTEXT_PACKAGE);
|
|
|
|
|
|
|
|
let app = new Application();
|
|
|
|
app.application.run(argv);
|
|
|
|
}
|