style: Fix indentation errors
While we have some style inconsistencies - mostly regarding split lines, i.e. aligning to the first arguments vs. a four-space indent - there are a couple of places where the spacing is simply wrong. Fix those. Spotted by eslint. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/608
This commit is contained in:

committed by
Georges Basile Stavracas Neto

parent
8fcd6c7153
commit
1398aa6562
@ -287,7 +287,7 @@ var WorkspaceThumbnail = class {
|
||||
|
||||
// Track window changes
|
||||
this._windowAddedId = this.metaWorkspace.connect('window-added',
|
||||
this._windowAdded.bind(this));
|
||||
this._windowAdded.bind(this));
|
||||
this._windowRemovedId = this.metaWorkspace.connect('window-removed',
|
||||
this._windowRemoved.bind(this));
|
||||
this._windowEnteredMonitorId = global.display.connect('window-entered-monitor',
|
||||
@ -447,7 +447,7 @@ var WorkspaceThumbnail = class {
|
||||
|
||||
destroy() {
|
||||
if (this.actor)
|
||||
this.actor.destroy();
|
||||
this.actor.destroy();
|
||||
}
|
||||
|
||||
workspaceRemoved() {
|
||||
@ -469,8 +469,8 @@ var WorkspaceThumbnail = class {
|
||||
this.workspaceRemoved();
|
||||
|
||||
if (this._bgManager) {
|
||||
this._bgManager.destroy();
|
||||
this._bgManager = null;
|
||||
this._bgManager.destroy();
|
||||
this._bgManager = null;
|
||||
}
|
||||
|
||||
this._windows = [];
|
||||
|
Reference in New Issue
Block a user