brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

extensions: Port app to ESM

Browse Source 
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1499>
This commit is contained in:
Evan Welsh 2023-07-30 11:36:56 +03:00 committed by Florian Müllner
parent 12f6d7027b
commit e48ff53a78
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
subprojects/extensions-app/js/main.js
View File

@ -11,9 +11,9 @@ const Package = imports.package;
Package.initFormat(); Package.initFormat();
const Config = imports.misc.config; const Config = imports.misc.config;
const ExtensionUtils = imports.misc.extensionUtils; import * as ExtensionUtils from './misc/extensionUtils.js';
const { ExtensionState, ExtensionType } = ExtensionUtils; import {ExtensionState, ExtensionType} from './misc/extensionUtils.js';
const GnomeShellIface = loadInterfaceXML('org.gnome.Shell.Extensions'); const GnomeShellIface = loadInterfaceXML('org.gnome.Shell.Extensions');
const GnomeShellProxy = Gio.DBusProxy.makeProxyWrapper(GnomeShellIface); const GnomeShellProxy = Gio.DBusProxy.makeProxyWrapper(GnomeShellIface);