Title: [139442] branches/chromium/1364/Source/WebCore/inspector/front-end
- Revision
- 139442
- Author
- [email protected]
- Date
- 2013-01-11 07:33:38 -0800 (Fri, 11 Jan 2013)
Log Message
Merge 138481
> Unreviewed, rolling out r137905.
> http://trac.webkit.org/changeset/137905
> https://bugs.webkit.org/show_bug.cgi?id=105765
>
> Popover does not disappear when hovering another identifier in
> sources panel. (Requested by vsevik on #webkit).
>
> Patch by Sheriff Bot <[email protected]> on 2012-12-26
>
> * inspector/front-end/Popover.js:
> (WebInspector.Popover.prototype._innerShow):
> * inspector/front-end/popover.css:
> (.popover):
[email protected]
BUG=167597
Review URL: https://codereview.chromium.org/11860010
Modified Paths
Diff
Modified: branches/chromium/1364/Source/WebCore/inspector/front-end/Popover.js (139441 => 139442)
--- branches/chromium/1364/Source/WebCore/inspector/front-end/Popover.js 2013-01-11 15:31:12 UTC (rev 139441)
+++ branches/chromium/1364/Source/WebCore/inspector/front-end/Popover.js 2013-01-11 15:33:38 UTC (rev 139442)
@@ -106,7 +106,7 @@
this._positionElement(anchor, preferredWidth, preferredHeight);
if (this._popoverHelper) {
- this.element.addEventListener("mousemove", this._popoverHelper._killHidePopoverTimer.bind(this._popoverHelper), true);
+ contentElement.addEventListener("mousemove", this._popoverHelper._killHidePopoverTimer.bind(this._popoverHelper), true);
this.element.addEventListener("mouseout", this._popoverHelper._popoverMouseOut.bind(this._popoverHelper), true);
}
},
Modified: branches/chromium/1364/Source/WebCore/inspector/front-end/popover.css (139441 => 139442)
--- branches/chromium/1364/Source/WebCore/inspector/front-end/popover.css 2013-01-11 15:31:12 UTC (rev 139441)
+++ branches/chromium/1364/Source/WebCore/inspector/front-end/popover.css 2013-01-11 15:33:38 UTC (rev 139442)
@@ -3,6 +3,7 @@
-webkit-border-image: url(Images/popoverBackground.png) 25 25 25 25;
border-width: 25px;
z-index: 100;
+ pointer-events: none;
}
.popover .content {
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo/webkit-changes
