| OLD | NEW |
| 1 /** | 1 /** |
| 2 * Copyright (C) 2013 Google Inc. All rights reserved. | 2 * Copyright (C) 2013 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 416 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 427 delete this._cancelWindowTimesAnimation; | 427 delete this._cancelWindowTimesAnimation; |
| 428 } | 428 } |
| 429 }, | 429 }, |
| 430 | 430 |
| 431 /** | 431 /** |
| 432 * @param {number} startTime | 432 * @param {number} startTime |
| 433 * @param {number} endTime | 433 * @param {number} endTime |
| 434 */ | 434 */ |
| 435 setWindowTimes: function(startTime, endTime) | 435 setWindowTimes: function(startTime, endTime) |
| 436 { | 436 { |
| 437 if (this._muteAnimation || this._timeWindowLeft === 0 || this._timeWindo
wRight === Infinity) { | 437 if (this._muteAnimation || this._timeWindowLeft === 0 || this._timeWindo
wRight === Infinity || (startTime === 0 && endTime === Infinity)) { |
| 438 // Initial setup. | 438 // Initial setup. |
| 439 this._timeWindowLeft = startTime; | 439 this._timeWindowLeft = startTime; |
| 440 this._timeWindowRight = endTime; | 440 this._timeWindowRight = endTime; |
| 441 this.scheduleUpdate(); | 441 this.scheduleUpdate(); |
| 442 return; | 442 return; |
| 443 } | 443 } |
| 444 | 444 |
| 445 this._cancelAnimation(); | 445 this._cancelAnimation(); |
| 446 this._cancelWindowTimesAnimation = WebInspector.animateFunction(this._an
imateWindowTimes.bind(this), | 446 this._cancelWindowTimesAnimation = WebInspector.animateFunction(this._an
imateWindowTimes.bind(this), |
| 447 [{from: this._timeWindowLeft, to: startTime}, {from: this._timeWindo
wRight, to: endTime}], 5, | 447 [{from: this._timeWindowLeft, to: startTime}, {from: this._timeWindo
wRight, to: endTime}], 5, |
| (...skipping 730 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1178 { | 1178 { |
| 1179 this._highlightedMarkerIndex = -1; | 1179 this._highlightedMarkerIndex = -1; |
| 1180 this._highlightedEntryIndex = -1; | 1180 this._highlightedEntryIndex = -1; |
| 1181 this._selectedEntryIndex = -1; | 1181 this._selectedEntryIndex = -1; |
| 1182 this._textWidth = {}; | 1182 this._textWidth = {}; |
| 1183 this.update(); | 1183 this.update(); |
| 1184 }, | 1184 }, |
| 1185 | 1185 |
| 1186 __proto__: WebInspector.HBox.prototype | 1186 __proto__: WebInspector.HBox.prototype |
| 1187 } | 1187 } |
| OLD | NEW |