Use user-select supported by other browsers

2026-08-05 13:43:48 -07:00 · 2017-06-07 19:23:46 -07:00
parent e88a9ffd89
commit 264757e964
1 changed files with 2 additions and 0 deletions
@@ -42,6 +42,8 @@
    font-feature-settings: "liga" 0;
    position: relative;
    user-select: none;
+    -ms-user-select: none;
+    -webkit-user-select: none;
 }

 .terminal.focus,