workspace: Some style changes to match guidelines

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/346
This commit is contained in:
verdre
2018-11-19 12:28:28 +01:00
committed by Florian Müllner
parent 5e6629e1a7
commit 28a56d24ad
2 changed files with 12 additions and 14 deletions

View File

@ -399,7 +399,7 @@ var WorkspaceThumbnail = class {
// We might have the window in our list already if it was on all workspaces and
// now was moved to this workspace
if (this._lookupIndex (metaWin) != -1)
if (this._lookupIndex(metaWin) != -1)
return;
if (!this._isMyWindow(win))
@ -412,7 +412,7 @@ var WorkspaceThumbnail = class {
while (parent.is_attached_dialog())
parent = parent.get_transient_for();
let idx = this._lookupIndex (parent);
let idx = this._lookupIndex(parent);
if (idx < 0) {
// parent was not created yet, it will take care
// of the dialog when created
@ -536,7 +536,7 @@ var WorkspaceThumbnail = class {
_removeWindowClone(metaWin) {
// find the position of the window in our list
let index = this._lookupIndex (metaWin);
let index = this._lookupIndex(metaWin);
if (index == -1)
return null;