| OLD | NEW |
| 1 /** | 1 /** |
| 2 * Copyright (C) 2014 Google Inc. All rights reserved. | 2 * Copyright (C) 2014 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 600 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 611 * @param {number} windowStartTime | 611 * @param {number} windowStartTime |
| 612 * @param {number} windowEndTime | 612 * @param {number} windowEndTime |
| 613 */ | 613 */ |
| 614 requestWindowTimes: function(windowStartTime, windowEndTime) | 614 requestWindowTimes: function(windowStartTime, windowEndTime) |
| 615 { | 615 { |
| 616 this._selectRange(windowStartTime, windowEndTime); | 616 this._selectRange(windowStartTime, windowEndTime); |
| 617 }, | 617 }, |
| 618 | 618 |
| 619 /** | 619 /** |
| 620 * @override | 620 * @override |
| 621 * @param {number} entryIndex |
| 622 */ |
| 623 requestSelectionChange: function(entryIndex) |
| 624 { |
| 625 }, |
| 626 |
| 627 /** |
| 628 * @override |
| 621 * @param {number} startTime | 629 * @param {number} startTime |
| 622 * @param {number} endTime | 630 * @param {number} endTime |
| 623 */ | 631 */ |
| 624 updateRangeSelection: function(startTime, endTime) | 632 updateRangeSelection: function(startTime, endTime) |
| 625 { | 633 { |
| 626 }, | 634 }, |
| 627 | 635 |
| 628 /** | 636 /** |
| 629 * @param {number} timeLeft | 637 * @param {number} timeLeft |
| 630 * @param {number} timeRight | 638 * @param {number} timeRight |
| (...skipping 113 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 744 { | 752 { |
| 745 var ratio = window.devicePixelRatio; | 753 var ratio = window.devicePixelRatio; |
| 746 this._overviewCanvas.width = width * ratio; | 754 this._overviewCanvas.width = width * ratio; |
| 747 this._overviewCanvas.height = height * ratio; | 755 this._overviewCanvas.height = height * ratio; |
| 748 this._overviewCanvas.style.width = width + "px"; | 756 this._overviewCanvas.style.width = width + "px"; |
| 749 this._overviewCanvas.style.height = height + "px"; | 757 this._overviewCanvas.style.height = height + "px"; |
| 750 }, | 758 }, |
| 751 | 759 |
| 752 __proto__: WebInspector.VBox.prototype | 760 __proto__: WebInspector.VBox.prototype |
| 753 } | 761 } |
| OLD | NEW |