forked from daniellandau/switcher
-
Notifications
You must be signed in to change notification settings - Fork 0
/
convenience.js
59 lines (52 loc) · 2.05 KB
/
convenience.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
/*global imports, print */
const ExtensionUtils = imports.misc.extensionUtils;
const Gio = imports.gi.Gio;
const Gettext = imports.gettext;
const Config = imports.misc.config;
// copied from https://github.com/projecthamster/shell-extension/blob/f1f1d803395bc122db1b877985e1d2462c5215a9/convenience.js#L65
function getSettings() {
const extension = ExtensionUtils.getCurrentExtension();
const schema = extension.metadata['settings-schema'];
const GioSSS = Gio.SettingsSchemaSource;
const schemaDir = extension.dir.get_child('schemas');
let schemaSource = schemaDir.query_exists(null) ?
GioSSS.new_from_directory(schemaDir.get_path(), GioSSS.get_default(), false) :
GioSSS.get_default();
const schemaObj = schemaSource.lookup(schema, true);
if (!schemaObj)
throw new Error('Schema ' + schema + ' could not be found for extension '
+ extension.metadata.uuid + '. Please check your installation.');
let settings = new Gio.Settings({ settings_schema: schemaObj });
return settings;
}
function getJson(key) {
try {
return JSON.parse(getSettings().get_string(key));
} catch (e) {
print(e);
return null;
}
}
function setJson(key, value) {
getSettings().set_string(key, JSON.stringify(value));
}
/**
* initTranslations:
* @domain: (optional): the gettext domain to use
*
* Initialize Gettext to load translations from extensionsdir/locale.
* If @domain is not provided, it will be taken from metadata['gettext-domain']
*/
function initTranslations(domain) {
let extension = ExtensionUtils.getCurrentExtension();
domain = domain || extension.metadata['gettext-domain'];
// check if this extension was built with "make zip-file", and thus
// has the locale files in a subfolder
// otherwise assume that extension has been installed in the
// same prefix as gnome-shell
let localeDir = extension.dir.get_child('locale');
if (localeDir.query_exists(null))
Gettext.bindtextdomain(domain, localeDir.get_path());
else
Gettext.bindtextdomain(domain, Config.LOCALEDIR);
}