Use user-select supported by other browsers

Tyriar · Tyriar · commit 264757e964c8 · 2017-06-07T19:23:46.000-07:00
diff --git a/src/xterm.css b/src/xterm.css
@@ -42,6 +42,8 @@
     font-feature-settings: "liga" 0;
     position: relative;
     user-select: none;
+    -ms-user-select: none;
+    -webkit-user-select: none;
 }
 
 .terminal.focus,
