add option mobileDelete also to terminal #506

jcubic · Aug 29, 2019 · b80a451 · b80a451
1 parent f5ad880
commit b80a451
Show file tree

Hide file tree

Showing 7 changed files with 17 additions and 10 deletions.
diff --git a/js/jquery.terminal-2.7.1.js b/js/jquery.terminal-2.7.1.js
@@ -39,7 +39,7 @@
  * emoji regex v7.0.1 by Mathias Bynens
  * MIT license
  *
- * Date: Thu, 29 Aug 2019 15:16:20 +0000
+ * Date: Thu, 29 Aug 2019 15:19:15 +0000
  */
 /* global location, setTimeout, window, global, sprintf, setImmediate,
           IntersectionObserver,  ResizeObserver, module, require, define,
@@ -3933,7 +3933,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Thu, 29 Aug 2019 15:16:20 +0000',
+        date: 'Thu, 29 Aug 2019 15:19:15 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -5565,6 +5565,7 @@
         processRPCResponse: null,
         completionEscape: true,
         onCommandChange: null,
+        mobileDelete: is_mobile,
         onPositionChange: null,
         convertLinks: true,
         extra: {},
@@ -9050,6 +9051,7 @@
             // CREATE COMMAND LINE
             command_line = $('<div/>').appendTo(wrapper).cmd({
                 tabindex: settings.tabindex,
+                mobileDelete: settings.mobileDelete,
                 mobileIngoreAutoSpace: settings.mobileIngoreAutoSpace,
                 prompt: global_login_fn ? false : prompt,
                 history: settings.memory ? 'memory' : settings.history,

diff --git a/js/jquery.terminal-2.7.1.min.js b/js/jquery.terminal-2.7.1.min.js
diff --git a/js/jquery.terminal-src.js b/js/jquery.terminal-src.js
@@ -5565,6 +5565,7 @@
         processRPCResponse: null,
         completionEscape: true,
         onCommandChange: null,
+        mobileDelete: is_mobile,
         onPositionChange: null,
         convertLinks: true,
         extra: {},
@@ -9050,6 +9051,7 @@
             // CREATE COMMAND LINE
             command_line = $('<div/>').appendTo(wrapper).cmd({
                 tabindex: settings.tabindex,
+                mobileDelete: settings.mobileDelete,
                 mobileIngoreAutoSpace: settings.mobileIngoreAutoSpace,
                 prompt: global_login_fn ? false : prompt,
                 history: settings.memory ? 'memory' : settings.history,

diff --git a/js/jquery.terminal.d.ts b/js/jquery.terminal.d.ts
@@ -428,7 +428,7 @@ type TerminalOption =  "prompt" | "name" | "history" | "exit" | "clear" | "enabl
     "onPop" | "keypress" | "keydown" | "onAfterRedraw" | "onEchoCommand" | "onFlush" | "strings" |
     "repeatTimeoutKeys" | "allowedAttributes" | "doubleTabEchoCommand" | "mobileIngoreAutoSpace" |
     "onBeforeCommand" | "onAfterCommand" | "onBeforeLogout" |  "onAfterLogout" | "onBeforeLogin" |
-    "onAfterLogin" | "onBeforeEcho" | "onAfterEcho" | "autocompleteMenu";
+    "onAfterLogin" | "onBeforeEcho" | "onAfterEcho" | "autocompleteMenu" | "mobileDelete";
 
 type TerminalOptions = {
     prompt?: JQueryTerminal.ExtendedPrompt;
@@ -513,6 +513,7 @@ type TerminalOptions = {
     onBeforeEcho?: (this: JQueryTerminal, value: JQueryTerminal.echoValue) => (boolean | void);
     onAfterEcho?: (this: JQueryTerminal, value: JQueryTerminal.echoValue) => void;
     autocompleteMenu?: boolean;
+    mobileDelete?: boolean;
     strings?: JQueryTerminal.strings;
 }
 

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: Thu, 29 Aug 2019 15:16:20 +0000
+ * Date: Thu, 29 Aug 2019 15:19:15 +0000
  */
 /* global location, setTimeout, window, global, sprintf, setImmediate,
           IntersectionObserver,  ResizeObserver, module, require, define,
@@ -3933,7 +3933,7 @@
     // -------------------------------------------------------------------------
     $.terminal = {
         version: 'DEV',
-        date: 'Thu, 29 Aug 2019 15:16:20 +0000',
+        date: 'Thu, 29 Aug 2019 15:19:15 +0000',
         // colors from https://www.w3.org/wiki/CSS/Properties/color/keywords
         color_names: [
             'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
@@ -5565,6 +5565,7 @@
         processRPCResponse: null,
         completionEscape: true,
         onCommandChange: null,
+        mobileDelete: is_mobile,
         onPositionChange: null,
         convertLinks: true,
         extra: {},
@@ -9050,6 +9051,7 @@
             // CREATE COMMAND LINE
             command_line = $('<div/>').appendTo(wrapper).cmd({
                 tabindex: settings.tabindex,
+                mobileDelete: settings.mobileDelete,
                 mobileIngoreAutoSpace: settings.mobileIngoreAutoSpace,
                 prompt: global_login_fn ? false : prompt,
                 history: settings.memory ? 'memory' : settings.history,

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