Devtools UI: Maintain closed tooltips on click on Windows

Source/devtools/front_end/ui/Tooltip.js

Index: Source/devtools/front_end/ui/Tooltip.js
diff --git a/Source/devtools/front_end/ui/Tooltip.js b/Source/devtools/front_end/ui/Tooltip.js
index dd5555f058dde93b74e5c6154691768f878fab02..c9ea4a0d7ad5bc48457a2c8eeba3efb8490d4eed 100644
--- a/Source/devtools/front_end/ui/Tooltip.js
+++ b/Source/devtools/front_end/ui/Tooltip.js
@@ -14,7 +14,7 @@ WebInspector.Tooltip = function(doc)
 
     this._tooltipElement = this._shadowRoot.createChild("div", "tooltip");
     doc.addEventListener("mousemove", this._mouseMove.bind(this), false);

[pfeldman, 2015/08/21 17:30:20]

I changed these to , true); in one of my previous changes to make sure you are
hiding on consumed click.

[samli, 2015/08/26 20:15:52]

Rebased.

-    doc.addEventListener("mousedown", this._hide.bind(this), false);
+    doc.addEventListener("mousedown", this._hide.bind(this, true), false);
 }
 
 WebInspector.Tooltip.Timing = {
@@ -106,12 +106,17 @@ WebInspector.Tooltip.prototype = {
         this._tooltipElement.positionAt(tooltipX, tooltipY);
     },
 
-    _hide: function()
+    /**
+     * @param {boolean=} removeInstant
+     */
+    _hide: function(removeInstant)
     {
         delete this._anchorElement;
         this._tooltipElement.classList.remove("shown");
         if (Date.now() > this._tooltipLastOpened)
             this._tooltipLastClosed = Date.now();
+        if (removeInstant)
+            delete this._tooltipLastClosed;
     }
 }