2023-07-10 01:06:17 -04:00
|
|
|
import {ExtensionBase, GettextWrapper, setExtensionManager} from './sharedInternals.js';
|
2023-06-30 20:11:37 -04:00
|
|
|
|
2023-06-30 20:11:37 -04:00
|
|
|
export {gettext, ngettext, pgettext} from './sharedInternals.js';
|
2023-06-30 20:11:37 -04:00
|
|
|
|
2023-07-09 23:12:30 -04:00
|
|
|
const {extensionManager} = imports.ui.main;
|
2023-07-09 06:47:05 -04:00
|
|
|
setExtensionManager(extensionManager);
|
2023-07-09 23:12:30 -04:00
|
|
|
|
2023-06-30 20:11:37 -04:00
|
|
|
export class Extension extends ExtensionBase {
|
2023-07-10 01:06:17 -04:00
|
|
|
static defineTranslationFunctions(url) {
|
|
|
|
const wrapper = new GettextWrapper(this, url);
|
|
|
|
return wrapper.defineTranslationFunctions();
|
|
|
|
}
|
|
|
|
|
2023-06-30 20:11:37 -04:00
|
|
|
enable() {
|
|
|
|
}
|
2023-06-30 20:11:37 -04:00
|
|
|
|
2023-06-30 20:11:37 -04:00
|
|
|
disable() {
|
|
|
|
}
|
2023-06-30 20:11:37 -04:00
|
|
|
|
2023-06-30 20:11:37 -04:00
|
|
|
/**
|
|
|
|
* Open the extension's preferences window
|
|
|
|
*/
|
|
|
|
openPreferences() {
|
|
|
|
extensionManager.openExtensionPrefs(this.uuid, '', {});
|
|
|
|
}
|
2023-06-30 20:11:37 -04:00
|
|
|
}
|