DevTools: report timeline progress while recording.

Source/devtools/front_end/TimelineManager.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 25 matching lines @@
 {
     WebInspector.Object.call(this);
     this._dispatcher = new WebInspector.TimelineDispatcher(this);
     this._enablementCount = 0;
     TimelineAgent.enable();
 }
 
 WebInspector.TimelineManager.EventTypes = {
     TimelineStarted: "TimelineStarted",
     TimelineStopped: "TimelineStopped",
-    TimelineEventRecorded: "TimelineEventRecorded"
+    TimelineEventRecorded: "TimelineEventRecorded",
+    TimelineProgress: "TimelineProgress"
 }
 
 WebInspector.TimelineManager.prototype = {
     /**
      * @return {boolean}
      */
     isStarted: function()
     {
         return this._dispatcher.isStarted();
     },
@@ skipping 74 matching lines @@
         this._manager.dispatchEventToListeners(WebInspector.TimelineManager.EventTypes.TimelineStarted, consoleTimeline);
     },
 
     /**
      * @param {boolean=} consoleTimeline
      */
     stopped: function(consoleTimeline)
     {
         this._started = false;
         this._manager.dispatchEventToListeners(WebInspector.TimelineManager.EventTypes.TimelineStopped, consoleTimeline);
+    },
+
+    progress: function(count)
+    {
+        this._manager.dispatchEventToListeners(WebInspector.TimelineManager.EventTypes.TimelineProgress, count);
     }
 }
 
 /**
  * @type {!WebInspector.TimelineManager}
  */
 WebInspector.timelineManager;