Merge branch 'newindexdb' of https://github.com/ethereum/remix-project into newindexdb

3 years ago · f111483d26
parent ae26d34419 384e9ef146
commit f111483d26
1 changed files with 5 additions and 0 deletions
--- a/libs/remix-ui/workspace/src/lib/css/file-explorer.css
+++ b/libs/remix-ui/workspace/src/lib/css/file-explorer.css
@ -54,3 +54,8 @@ input[type="file"] {
 ul                  {
    padding           : 0;
 }
+
+[contenteditable] {
+    -webkit-user-select: text;
+    user-select: text;
+}