[Webkit-unassigned] [Bug 89823] New: Remove unused constant timeWithoutMouseMovementBeforeHidingControls
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Sat Jun 23 22:53:29 PDT 2012
https://bugs.webkit.org/show_bug.cgi?id=89823
Summary: Remove unused constant
timeWithoutMouseMovementBeforeHidingControls
Product: WebKit
Version: 528+ (Nightly build)
Platform: Unspecified
OS/Version: Unspecified
Status: UNCONFIRMED
Severity: Normal
Priority: P2
Component: HTML DOM
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: skyul at company100.net
After r87692, timeWithoutMouseMovementBeforeHidingControls is not used anymore.
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list