Title: [92280] trunk/Source/WebCore
- Revision
- 92280
- Author
- [email protected]
- Date
- 2011-08-03 08:09:52 -0700 (Wed, 03 Aug 2011)
Log Message
Web Inspector: make text in popover selectable + make popover re-appear faster.
https://bugs.webkit.org/show_bug.cgi?id=65603
Reviewed by Yury Semikhatsky.
* inspector/front-end/Popover.js:
(WebInspector.PopoverHelper.prototype.setTimeout):
(WebInspector.PopoverHelper.prototype._mouseMove):
(WebInspector.PopoverHelper.prototype._handleMouseAction):
* inspector/front-end/popover.css:
(.popover .content):
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (92279 => 92280)
--- trunk/Source/WebCore/ChangeLog 2011-08-03 14:40:10 UTC (rev 92279)
+++ trunk/Source/WebCore/ChangeLog 2011-08-03 15:09:52 UTC (rev 92280)
@@ -1,3 +1,17 @@
+2011-08-03 Pavel Feldman <[email protected]>
+
+ Web Inspector: make text in popover selectable + make popover re-appear faster.
+ https://bugs.webkit.org/show_bug.cgi?id=65603
+
+ Reviewed by Yury Semikhatsky.
+
+ * inspector/front-end/Popover.js:
+ (WebInspector.PopoverHelper.prototype.setTimeout):
+ (WebInspector.PopoverHelper.prototype._mouseMove):
+ (WebInspector.PopoverHelper.prototype._handleMouseAction):
+ * inspector/front-end/popover.css:
+ (.popover .content):
+
2011-08-03 Vsevolod Vlasov <[email protected]>
Web Inspector: Console scroll position should be saved when switching panels.
Modified: trunk/Source/WebCore/inspector/front-end/Popover.js (92279 => 92280)
--- trunk/Source/WebCore/inspector/front-end/Popover.js 2011-08-03 14:40:10 UTC (rev 92279)
+++ trunk/Source/WebCore/inspector/front-end/Popover.js 2011-08-03 15:09:52 UTC (rev 92280)
@@ -171,7 +171,7 @@
WebInspector.PopoverHelper.prototype = {
setTimeout: function(timeout)
{
- this._timeout = timeout;
+ this._timeout = timeout;
},
_mouseDown: function(event)
@@ -186,7 +186,7 @@
if (this._hoverElement === event.target || (this._hoverElement && this._hoverElement.isAncestor(event.target)))
return;
- // User has 500ms (this._timeout / 2) to reach the popup.
+ // User has 250ms (this._timeout / 4) to reach the popup.
if (this._popup && !this._hidePopupTimer) {
var self = this;
function doHide()
@@ -194,7 +194,7 @@
self._hidePopup();
delete self._hidePopupTimer;
}
- this._hidePopupTimer = setTimeout(doHide, this._timeout / 2);
+ this._hidePopupTimer = setTimeout(doHide, this._timeout / 4);
}
this._handleMouseAction(event);
@@ -208,7 +208,7 @@
if (!this._hoverElement)
return;
- const toolTipDelay = isMouseDown ? 0 : (this._popup ? this._timeout * 0.6 : this._timeout);
+ const toolTipDelay = isMouseDown ? 0 : (this._popup ? this._timeout * 0.3 : this._timeout);
this._hoverTimer = setTimeout(this._mouseHover.bind(this, this._hoverElement), toolTipDelay);
},
Modified: trunk/Source/WebCore/inspector/front-end/popover.css (92279 => 92280)
--- trunk/Source/WebCore/inspector/front-end/popover.css 2011-08-03 14:40:10 UTC (rev 92279)
+++ trunk/Source/WebCore/inspector/front-end/popover.css 2011-08-03 15:09:52 UTC (rev 92280)
@@ -14,6 +14,7 @@
right: 0;
pointer-events: auto;
overflow: auto;
+ -webkit-user-select: text;
}
.popover .arrow {
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes
