DevTools: [Elements] Do not copy nodes if there is a non-collapsed selection

Source/devtools/front_end/elements/ElementsTreeOutline.js

Index: Source/devtools/front_end/elements/ElementsTreeOutline.js
diff --git a/Source/devtools/front_end/elements/ElementsTreeOutline.js b/Source/devtools/front_end/elements/ElementsTreeOutline.js
index be32a15c8284d776268d7dc3383bbe45d230df36..bdcbd815d732caf43122d15a0c8eef6d52049c98 100644
--- a/Source/devtools/front_end/elements/ElementsTreeOutline.js
+++ b/Source/devtools/front_end/elements/ElementsTreeOutline.js
@@ -185,6 +185,10 @@ WebInspector.ElementsTreeOutline.prototype = {
     {
         this._setClipboardData(null);
 
+        // Don't prevent the normal copy if the user has a selection.
+        if (!window.getSelection().isCollapsed)
+            return;
+
         // Do not interfere with text editing.
         var currentFocusElement = WebInspector.currentFocusElement();
         if (currentFocusElement && WebInspector.isBeingEdited(currentFocusElement))