2023-07-01 00:11:37 +00:00
|
|
|
import GObject from 'gi://GObject';
|
|
|
|
|
|
|
|
import {ExtensionBase, setExtensionManager} from './sharedInternals.js';
|
2023-07-09 10:47:05 +00:00
|
|
|
import {extensionManager} from '../extensionsService.js';
|
|
|
|
|
|
|
|
setExtensionManager(extensionManager);
|
|
|
|
|
2023-07-01 00:11:37 +00:00
|
|
|
export {gettext, ngettext, pgettext} from './sharedInternals.js';
|
|
|
|
|
|
|
|
export class ExtensionPreferences extends ExtensionBase {
|
|
|
|
/**
|
|
|
|
* Fill the preferences window with preferences.
|
|
|
|
*
|
|
|
|
* @param {Adw.PreferencesWindow} _window - the preferences window
|
|
|
|
*/
|
|
|
|
fillPreferencesWindow(_window) {
|
|
|
|
throw new GObject.NotImplementedError();
|
|
|
|
}
|
|
|
|
}
|