[Webkit-unassigned] [Bug 19246] Offer an option "Start profiling this page on refresh"

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=19246


Antoine Quint <graouts at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |graouts at apple.com




--- Comment #4 from Antoine Quint <graouts at apple.com>  2013-06-13 13:52:04 PST ---
If the profiler was recording when the user chooses to reload the page, then profiling will be restarted as the page loads, providing the desired effect.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.