Index: webkit/glue/devtools/js/debugger_agent.js |
=================================================================== |
--- webkit/glue/devtools/js/debugger_agent.js (revision 17398) |
+++ webkit/glue/devtools/js/debugger_agent.js (working copy) |
@@ -611,6 +611,22 @@ |
if (is_started && !this.isProfilingStarted_) { |
// Start to query log data. |
RemoteDebuggerAgent.GetLogLines(this.lastProfileLogPosition_); |
+ } else if (!is_started && this.isProfilingStarted_) { |
+ // Display a temporary icon / message indicating that the profile |
+ // is being processed. |
+ var processingIcon = new WebInspector.SidebarTreeElement( |
+ "profile-sidebar-tree-item", "Processing...", "", null, false); |
+ var profilesSidebar = WebInspector.panels.profiles.sidebarTree; |
+ profilesSidebar.appendChild(processingIcon); |
+ var profilerProcessor = this.profilerProcessor_; |
+ // Set a callback for adding a profile that removes the temporary element |
+ // and restores plain "addProfile" callback. |
+ profilerProcessor.setNewProfileCallback(function (profile) { |
+ profilesSidebar.removeChild(processingIcon); |
+ WebInspector.addProfile(profile); |
+ profilerProcessor.setNewProfileCallback( |
+ goog.bind(WebInspector.addProfile, WebInspector)); |
+ }); |
} |
this.isProfilingStarted_ = is_started; |
// Update button. |