From d3be1f1e2c859e4f8ecde817a65fffc466c80e3b Mon Sep 17 00:00:00 2001
From: Nick O'Leary <nick.oleary@gmail.com>
Date: Sun, 26 Jun 2016 23:55:04 +0100
Subject: [PATCH] Fix lint error

---
 editor/js/ui/typedInput.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/editor/js/ui/typedInput.js b/editor/js/ui/typedInput.js
index 49cee9464..90749d509 100644
--- a/editor/js/ui/typedInput.js
+++ b/editor/js/ui/typedInput.js
@@ -256,7 +256,7 @@
                     top:0,
                     left:-1000
                 }).appendTo(document.body);
-                var newTrigger = label.clone().appendTo(container);;
+                var newTrigger = label.clone().appendTo(container);
                 labelWidth = newTrigger.outerWidth();
                 container.remove();
             }