fix selection in IE

jcubic · Jan 17, 2017 · a575799 · a575799
1 parent 0258238
commit a575799
Show file tree

Hide file tree

Showing 6 changed files with 10 additions and 9 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -25,6 +25,7 @@
           fix echo resolved content when interpreter return a promise
           fix for valid /[/]/g regex
           fix pushing JSON-RPC intepreter
+          fix selection in IE
 0.11.23   add scrollBottomOffset option
 0.11.22   scroll to bottom of the terminal when option scrollOnEcho is set to false but the terminal is
           at the bottom, add new api methods is_bottom and scroll_to_bottom.

diff --git a/css/jquery.terminal-0.11.23.css b/css/jquery.terminal-0.11.23.css
@@ -12,7 +12,7 @@
  * Copyright (c) 2011-2017 Jakub Jankiewicz <http://jcubic.pl>
  * Released under the MIT license
  *
- * Date: Sun, 15 Jan 2017 15:49:17 +0000
+ * Date: Tue, 17 Jan 2017 16:30:13 +0000
  */
 .terminal .terminal-output .format, .cmd .format,
 .cmd .prompt, .cmd .prompt div, .terminal .terminal-output div div{
@@ -448,7 +448,7 @@
     -webkit-user-select: initial;
     -khtml-user-select: initial;
     -moz-user-select: initial;
-    -ms-user-select: initial;
+    -ms-user-select: text;
     user-select: initial;
 }
 .terminal, .terminal-output, .terminal-output div {

diff --git a/css/jquery.terminal-0.11.23.min.css b/css/jquery.terminal-0.11.23.min.css
diff --git a/css/jquery.terminal-src.css b/css/jquery.terminal-src.css
@@ -448,7 +448,7 @@
     -webkit-user-select: initial;
     -khtml-user-select: initial;
     -moz-user-select: initial;
-    -ms-user-select: initial;
+    -ms-user-select: text;
     user-select: initial;
 }
 .terminal, .terminal-output, .terminal-output div {

diff --git a/css/jquery.terminal.css b/css/jquery.terminal.css
@@ -12,7 +12,7 @@
  * Copyright (c) 2011-2017 Jakub Jankiewicz <http://jcubic.pl>
  * Released under the MIT license
  *
- * Date: Sun, 15 Jan 2017 15:49:17 +0000
+ * Date: Tue, 17 Jan 2017 16:30:13 +0000
  */
 .terminal .terminal-output .format, .cmd .format,
 .cmd .prompt, .cmd .prompt div, .terminal .terminal-output div div{
@@ -448,7 +448,7 @@
     -webkit-user-select: initial;
     -khtml-user-select: initial;
     -moz-user-select: initial;
-    -ms-user-select: initial;
+    -ms-user-select: text;
     user-select: initial;
 }
 .terminal, .terminal-output, .terminal-output div {