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

extensionSystem: Rename initted to initialized

Browse Source 
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/96
This commit is contained in:
Jonas Dreßler 2019-09-11 20:15:04 +02:00 committed by Florian Müllner
parent c06eb5d0a7
commit 22107c183b
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
js/ui/extensionSystem.js
View File

@ -17,7 +17,7 @@ const EXTENSION_DISABLE_VERSION_CHECK_KEY = 'disable-extension-version-validatio
var ExtensionManager = class { var ExtensionManager = class {
constructor() { constructor() {
this._initted = false; this._initialized = false;
this._enabled = false; this._enabled = false;
this._extensions = new Map(); this._extensions = new Map();
@ -479,9 +479,9 @@ var ExtensionManager = class {
if (this._enabled) if (this._enabled)
return; return;
if (!this._initted) { if (!this._initialized) {
this._loadExtensions(); this._loadExtensions();
this._initted = true; this._initialized = true;
} else { } else {
this._enabledExtensions.forEach(uuid => { this._enabledExtensions.forEach(uuid => {
this._callExtensionEnable(uuid); this._callExtensionEnable(uuid);
@ -494,7 +494,7 @@ var ExtensionManager = class {
if (!this._enabled) if (!this._enabled)
return; return;
if (this._initted) { if (this._initialized) {
this._extensionOrder.slice().reverse().forEach(uuid => { this._extensionOrder.slice().reverse().forEach(uuid => {
this._callExtensionDisable(uuid); this._callExtensionDisable(uuid);
}); });
@ -509,7 +509,7 @@ var ExtensionManager = class {
// property; it might make sense to make enabledExtensions independent // property; it might make sense to make enabledExtensions independent
// from allowExtensions in the future // from allowExtensions in the future
if (Main.sessionMode.allowExtensions) { if (Main.sessionMode.allowExtensions) {
if (this._initted) if (this._initialized)
this._enabledExtensions = this._getEnabledExtensions(); this._enabledExtensions = this._getEnabledExtensions();
this._enableAllExtensions(); this._enableAllExtensions();
} else { } else {