Update Timeline overview pane when recording is stopped in Frame mode

Source/devtools/front_end/timeline/TimelineOverviewPane.js

 /*
  * Copyright (C) 2013 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 69 matching lines @@
         for (var i = 0; i < overviewControls.length; ++i) {
             overviewControls[i].setOverviewGrid(this._overviewGrid);
             overviewControls[i].show(this._overviewGrid.element);
         }
         this._overviewControls = overviewControls;
         this.update();
     },
 
     update: function()
     {
-        delete this._refreshTimeout;
-
         if (this._model.isEmpty())
             this._overviewCalculator._setWindow(0, 1000);
         else
             this._overviewCalculator._setWindow(this._model.minimumRecordTime(), this._model.maximumRecordTime());
 
         this._overviewCalculator._setDisplayWindow(0, this._overviewGrid.clientWidth());
         for (var i = 0; i < this._overviewControls.length; ++i)
             this._overviewControls[i].update();
         this._overviewGrid.updateDividers(this._overviewCalculator);
         this._updateEventDividers();
@@ skipping 64 matching lines @@
     {
         if (!this._overviewControls.length)
             return;
         var windowBoundaries = this._overviewControls[0].windowBoundaries(this._windowStartTime, this._windowEndTime);
         this._muteOnWindowChanged = true;
         this._overviewGrid.setWindow(windowBoundaries.left, windowBoundaries.right);
         this._overviewGrid.setResizeEnabled(!!this._model.records().length);
         this._muteOnWindowChanged = false;
     },
 
-    _scheduleRefresh: function()
-    {
-        if (this._refreshTimeout)
-            return;
-        if (!this.isShowing())
-            return;
-        this._refreshTimeout = setTimeout(this.update.bind(this), 300);
-    },
-
     __proto__: WebInspector.VBox.prototype
 }
 
 /**
  * @constructor
  * @implements {WebInspector.TimelineGrid.Calculator}
  */
 WebInspector.TimelineOverviewCalculator = function()
 {
 }
@@ skipping 210 matching lines @@
     },
 
     resetCanvas: function()
     {
         this._canvas.width = this.element.clientWidth * window.devicePixelRatio;
         this._canvas.height = this.element.clientHeight * window.devicePixelRatio;
     },
 
     __proto__: WebInspector.VBox.prototype
 }