[gnome-shell-extensions] cleanup: Use object destructuring where possible

[Florian Müllner <fmuellner src gnome org>]

commit 2497dc6d3113789e32995b2c5357b3f8c8cc4dd6
Author: Florian Müllner <fmuellner gnome org>
Date:   Sun Aug 11 02:03:39 2019 +0200

    cleanup: Use object destructuring where possible
    
    ES6's destructuring is a nice way of assigning a variable in a concise way,
    without duplicating the name of the object property. Use it consistently
    where possible.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/91

 extensions/auto-move-windows/extension.js | 2 +-
 extensions/window-list/extension.js       | 4 ++--
 extensions/windowsNavigator/extension.js  | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/extensions/auto-move-windows/extension.js b/extensions/auto-move-windows/extension.js
index aec7bc3..16b5461 100644
--- a/extensions/auto-move-windows/extension.js
+++ b/extensions/auto-move-windows/extension.js
@@ -2,7 +2,7 @@
 // Start apps on custom workspaces
 /* exported init enable disable */
 
-const Shell = imports.gi.Shell;
+const { Shell } = imports.gi;
 
 const ExtensionUtils = imports.misc.extensionUtils;
 const Main = imports.ui.main;
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 6e57c30..9081d68 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -751,7 +751,7 @@ const WindowList = GObject.registerClass({
             'keyboard-visible-changed',
             (o, state) => {
                 Main.layoutManager.keyboardBox.visible = state;
-                let keyboardBox = Main.layoutManager.keyboardBox;
+                let { keyboardBox } = Main.layoutManager;
                 keyboardBox.visible = state;
                 if (state) {
                     Main.uiGroup.set_child_above_sibling(
@@ -858,7 +858,7 @@ const WindowList = GObject.registerClass({
 
         let children = this._windowList.get_children();
         let [, childWidth] = children[0].get_preferred_width(-1);
-        let spacing = this._windowList.layout_manager.spacing;
+        let { spacing } = this._windowList.layout_manager;
 
         let workspace = global.workspace_manager.get_active_workspace();
         let windows = global.display.get_tab_list(Meta.TabList.NORMAL, workspace);
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index 02f07b5..fe7a826 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -158,7 +158,7 @@ var MyWorkspacesView = class extends WorkspacesView.WorkspacesView {
     }
 
     _onKeyPress(s, o) {
-        let viewSelector = Main.overview.viewSelector;
+        let { viewSelector } = Main.overview;
         if (viewSelector._activePage != viewSelector._workspacesPage)
             return false;