merge noselect declarations

eclipse-theia · Aug 25, 2022 · 64c8047 · 64c8047
1 parent 373dc41
commit 64c8047
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 11 deletions.
diff --git a/packages/core/src/browser/style/index.css b/packages/core/src/browser/style/index.css
@@ -206,14 +206,17 @@ blockquote {
   display: none !important;
 }
 
-.noselect {
+.noselect,
+.no-select {
   -webkit-touch-callout: none; /* iOS Safari */
     -webkit-user-select: none; /* Safari */
      -khtml-user-select: none; /* Konqueror HTML */
        -moz-user-select: none; /* Firefox */
         -ms-user-select: none; /* Internet Explorer/Edge */
             user-select: none; /* Non-prefixed version, currently
                                   supported by Chrome and Opera */
+         -o-user-select: none;
+                 cursor: default;
 }
 
 :focus {

diff --git a/packages/scm/src/browser/style/index.css b/packages/scm/src/browser/style/index.css
@@ -168,16 +168,6 @@
     border-top: none; /* remove top border since the input declares it already */
 }
 
-.no-select {
-    cursor: default;
-    -webkit-user-select: none;
-    -webkit-touch-callout: none;
-    -khtml-user-select: none;
-    -moz-user-select: none;
-    -ms-user-select: none;
-    -o-user-select: none;
-}
-
 .no-select:focus {
     outline: none;
 }