[gnome-shell-extensions/wip/fmuellner/lint-ci: 13/17] cleanup: Mark unused (but useful) variables as ignored

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

commit 9b682acea3ec4df38b430e30e9834da972cf1664
Author: Florian Müllner <fmuellner gnome org>
Date:   Sun Jan 27 00:12:20 2019 +0100

    cleanup: Mark unused (but useful) variables as ignored
    
    While we aren't using those destructured variables, they are still useful
    to document the meaning of those elements. We don't want eslint to keep
    warning about them though, so mark them accordingly.

 extensions/auto-move-windows/prefs.js    | 4 ++--
 extensions/windowsNavigator/extension.js | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/auto-move-windows/prefs.js b/extensions/auto-move-windows/prefs.js
index d995ed7..7e68a76 100644
--- a/extensions/auto-move-windows/prefs.js
+++ b/extensions/auto-move-windows/prefs.js
@@ -157,7 +157,7 @@ const Widget = GObject.registerClass({
     }
 
     _deleteSelected() {
-        let [any, model, iter] = this._treeView.get_selection().get_selected();
+        let [any, model_, iter] = this._treeView.get_selection().get_selected();
 
         if (any) {
             let appInfo = this._store.get_value(iter, Columns.APPINFO);
@@ -174,7 +174,7 @@ const Widget = GObject.registerClass({
         if (isNaN(index) || index < 0)
             index = 1;
         let path = Gtk.TreePath.new_from_string(pathString);
-        let [model, iter] = this._store.get_iter(path);
+        let [model_, iter] = this._store.get_iter(path);
         let appInfo = this._store.get_value(iter, Columns.APPINFO);
 
         this._changedPermitted = false;
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index bc46db6..805b0b4 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -219,7 +219,7 @@ function enable() {
     });
 
     winInjections['relayout'] = injectToFunction(Workspace.WindowOverlay.prototype, 'relayout', 
function(_animate) {
-        let [cloneX, cloneY, cloneWidth, cloneHeight] = this._windowClone.slot;
+        let [cloneX, cloneY, cloneWidth_, cloneHeight_] = this._windowClone.slot;
 
         let textX = cloneX - 2;
         let textY = cloneY - 2;