From 841599d475d0cddc0a0f9d5213b5782432773d04 Mon Sep 17 00:00:00 2001 From: Ivan Molodetskikh Date: Sun, 31 Jul 2022 17:41:00 -0700 Subject: [PATCH] overviewControls: Minor style fix Since I'm forced to fix the spaces for the workAreaBox change, might as well fix them in the nearby lines. Part-of: --- js/ui/overviewControls.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js index 01e0da682..d4dccbddb 100644 --- a/js/ui/overviewControls.js +++ b/js/ui/overviewControls.js @@ -66,8 +66,8 @@ class ControlsManagerLayout extends Clutter.BoxLayout { const workspaceBox = box.copy(); const [width, height] = workspaceBox.get_size(); const {y1: startY} = this._workAreaBox; - const { spacing } = this; - const { expandFraction } = this._workspacesThumbnails; + const {spacing} = this; + const {expandFraction} = this._workspacesThumbnails; switch (state) { case ControlsState.HIDDEN: @@ -99,7 +99,7 @@ class ControlsManagerLayout extends Clutter.BoxLayout { const [width, height] = box.get_size(); const {y1: startY} = this._workAreaBox; const appDisplayBox = new Clutter.ActorBox(); - const { spacing } = this; + const {spacing} = this; switch (state) { case ControlsState.HIDDEN: