From fb4e4009196b18806e9fa6630094bb97c51b815d Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Tue, 16 Jun 2020 15:08:16 -0700 Subject: [PATCH] Make property container values selectable (#10946) --- .../ui/propertiesContainer/media/propertiesContainer.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/sql/base/browser/ui/propertiesContainer/media/propertiesContainer.css b/src/sql/base/browser/ui/propertiesContainer/media/propertiesContainer.css index d595340027..29b97ca30d 100644 --- a/src/sql/base/browser/ui/propertiesContainer/media/propertiesContainer.css +++ b/src/sql/base/browser/ui/propertiesContainer/media/propertiesContainer.css @@ -49,6 +49,8 @@ properties-container .propertyValue { white-space: nowrap; overflow: hidden; text-overflow: ellipsis; + user-select: text; + cursor: text; } properties-container .splitter {