fix lint error

jcubic · May 4, 2019 · 65d10a3 · 65d10a3
1 parent bb44aa9
commit 65d10a3
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 12 deletions.
diff --git a/js/jquery.terminal-2.4.1.js b/js/jquery.terminal-2.4.1.js
@@ -39,7 +39,7 @@
  * emoji regex v7.0.1 by Mathias Bynens
  * MIT license
  *
- * Date: Sat, 04 May 2019 08:52:14 +0000
+ * Date: Sat, 04 May 2019 11:26:10 +0000
  */
 /* global location, setTimeout, window, global, sprintf, setImmediate,
           IntersectionObserver,  ResizeObserver, module, require, define,
@@ -1855,7 +1855,6 @@
         // -------------------------------------------------------------------------------
         function down_arrow() {
             var after = command.substring(position);
-            var re = /\n?([^\n]+)$/;
             var col = self.column();
             if (have_newlines(after)) {
                 var before = command.substring(0, position);
@@ -3846,7 +3845,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 04 May 2019 08:52:14 +0000',
+        date: 'Sat, 04 May 2019 11:26:10 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',

diff --git a/js/jquery.terminal-2.4.1.min.js b/js/jquery.terminal-2.4.1.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -1855,7 +1855,6 @@
         // -------------------------------------------------------------------------------
         function down_arrow() {
             var after = command.substring(position);
-            var re = /\n?([^\n]+)$/;
             var col = self.column();
             if (have_newlines(after)) {
                 var before = command.substring(0, position);

diff --git a/js/jquery.terminal.js b/js/jquery.terminal.js
@@ -39,7 +39,7 @@
  * emoji regex v7.0.1 by Mathias Bynens
  * MIT license
  *
- * Date: Sat, 04 May 2019 08:52:14 +0000
+ * Date: Sat, 04 May 2019 11:26:10 +0000
  */
 /* global location, setTimeout, window, global, sprintf, setImmediate,
           IntersectionObserver,  ResizeObserver, module, require, define,
@@ -1855,7 +1855,6 @@
         // -------------------------------------------------------------------------------
         function down_arrow() {
             var after = command.substring(position);
-            var re = /\n?([^\n]+)$/;
             var col = self.column();
             if (have_newlines(after)) {
                 var before = command.substring(0, position);
@@ -3846,7 +3845,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Sat, 04 May 2019 08:52:14 +0000',
+        date: 'Sat, 04 May 2019 11:26:10 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',

diff --git a/js/jquery.terminal.min.js b/js/jquery.terminal.min.js
diff --git a/js/jquery.terminal.min.js.map b/js/jquery.terminal.min.js.map