Merge pull request #2059 from ethereum/safaribug

fix user select

Author: bunsenstraat

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;
+}