[gnome-shell-extensions/wip/fmuellner/lint-ci: 12/17] cleanup: Mark unused arguments as unused

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

commit d7d3fac09af7c1dc800774bc7aa1680c52e863ac
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jan 26 22:04:09 2019 +0100

    cleanup: Mark unused arguments as unused
    
    This will stop eslint from warning about them, while keeping their
    self-documenting benefit.

 extensions/apps-menu/extension.js           | 4 ++--
 extensions/window-list/extension.js         | 8 ++++----
 extensions/windowsNavigator/extension.js    | 4 ++--
 extensions/workspace-indicator/extension.js | 2 +-
 extensions/workspace-indicator/prefs.js     | 2 +-
 5 files changed, 10 insertions(+), 10 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index a834330..bf81226 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -367,7 +367,7 @@ class DesktopTarget {
         this._setDesktop(null);
     }
 
-    handleDragOver(source, actor, x, y, time) {
+    handleDragOver(source, _actor, _x, _y, _time) {
         let appInfo = this._getSourceAppInfo(source);
         if (!appInfo)
             return DND.DragMotionResult.CONTINUE;
@@ -375,7 +375,7 @@ class DesktopTarget {
         return DND.DragMotionResult.COPY_DROP;
     }
 
-    acceptDrop(source, actor, x, y, time) {
+    acceptDrop(source, _actor, _x, _y, _time) {
         let appInfo = this._getSourceAppInfo(source);
         if (!appInfo)
             return false;
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 1ff2de2..77a5c2d 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -258,7 +258,7 @@ class BaseButton {
         this._onClicked(this.actor, 1);
     }
 
-    _onClicked(actor, button) {
+    _onClicked(_actor, _button) {
         throw new Error('Not implemented');
     }
 
@@ -266,7 +266,7 @@ class BaseButton {
         return true;
     }
 
-    _onPopupMenu(actor) {
+    _onPopupMenu(_actor) {
         if (!this._canOpenPopupMenu() || this._contextMenu.isOpen)
             return;
         _openMenu(this._contextMenu);
@@ -283,7 +283,7 @@ class BaseButton {
             this.actor.remove_style_class_name('focused');
     }
 
-    _windowEnteredOrLeftMonitor(metaDisplay, monitorIndex, metaWindow) {
+    _windowEnteredOrLeftMonitor(_metaDisplay, _monitorIndex, _metaWindow) {
         throw new Error('Not implemented');
     }
 
@@ -719,7 +719,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
             let item = new PopupMenu.PopupMenuItem(name);
             item.workspaceId = i;
 
-            item.connect('activate', (item, event) => {
+            item.connect('activate', (item, _event) => {
                 this._activate(item.workspaceId);
             });
 
diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index b6d8911..bc46db6 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -218,7 +218,7 @@ function enable() {
         parentActor.add_actor(this._text);
     });
 
-    winInjections['relayout'] = injectToFunction(Workspace.WindowOverlay.prototype, 'relayout', 
function(animate) {
+    winInjections['relayout'] = injectToFunction(Workspace.WindowOverlay.prototype, 'relayout', 
function(_animate) {
         let [cloneX, cloneY, cloneWidth, cloneHeight] = this._windowClone.slot;
 
         let textX = cloneX - 2;
@@ -241,7 +241,7 @@ function enable() {
             this._tip = null;
     });
 
-    workViewInjections['_init'] = injectToFunction(WorkspacesView.WorkspacesView.prototype, '_init', 
function(width, height, x, y, workspaces) {
+    workViewInjections['_init'] = injectToFunction(WorkspacesView.WorkspacesView.prototype, '_init', 
function(_width, _height, _x, _y, _workspaces) {
         this._pickWorkspace = false;
         this._pickWindow = false;
         this._keyPressEventId =
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index cdd841b..d709e24 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -98,7 +98,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
             this._workspaceSection.addMenuItem(this.workspacesItems[i]);
             this.workspacesItems[i].workspaceId = i;
             this.workspacesItems[i].label_actor = this.statusLabel;
-            this.workspacesItems[i].connect('activate', (actor, event) => {
+            this.workspacesItems[i].connect('activate', (actor, _event) => {
                 this._activate(actor.workspaceId);
             });
 
diff --git a/extensions/workspace-indicator/prefs.js b/extensions/workspace-indicator/prefs.js
index 6665ce8..6d32d24 100644
--- a/extensions/workspace-indicator/prefs.js
+++ b/extensions/workspace-indicator/prefs.js
@@ -190,7 +190,7 @@ class WorkspaceSettingsWidget extends Gtk.Grid {
     }
 
     _delClicked() {
-        let [any, model, iter] = this._treeView.get_selection().get_selected();
+        let [any, model_, iter] = this._treeView.get_selection().get_selected();
 
         if (any)
             this._store.remove(iter);