From 6ffe3a424cfa26c68a646b1d47ef3f41ccda60a3 Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Sat, 16 Feb 2013 23:27:23 -0500 Subject: [PATCH] grabHelper: Fix indentation https://bugzilla.gnome.org/show_bug.cgi?id=694038 --- js/ui/grabHelper.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js index 10e597999..1543c14cd 100644 --- a/js/ui/grabHelper.js +++ b/js/ui/grabHelper.js @@ -67,7 +67,7 @@ const GrabHelper = new Lang.Class({ }, _isWithinGrabbedActor: function(actor) { - let currentActor = this.currentGrab.actor; + let currentActor = this.currentGrab.actor; while (actor) { if (this._actors.indexOf(actor) != -1) return true;