From c6a362b7040f87afcab1b766adcbbe48ab7f544f Mon Sep 17 00:00:00 2001
From: filip mertens <filip.mertens@ethereum.org>
Date: Wed, 9 Feb 2022 09:19:00 +0100
Subject: [PATCH] fix user select

---
 libs/remix-ui/workspace/src/lib/css/file-explorer.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libs/remix-ui/workspace/src/lib/css/file-explorer.css b/libs/remix-ui/workspace/src/lib/css/file-explorer.css
index 4da076bc44..0f836c4396 100644
--- 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;
+}
\ No newline at end of file