| OLD | NEW |
| 1 // Copyright 2014 The Chromium Authors. All rights reserved. | 1 // Copyright 2014 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 /** | 5 /** |
| 6 * @typedef {{afterHighlight: string, | 6 * @typedef {{afterHighlight: string, |
| 7 * beforeHighlight: string, | 7 * beforeHighlight: string, |
| 8 * highlight: string, | 8 * highlight: string, |
| 9 * title: string}} | 9 * title: string}} |
| 10 */ | 10 */ |
| (...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 106 * div is hidden. | 106 * div is hidden. |
| 107 */ | 107 */ |
| 108 scrollToError: function() { | 108 scrollToError: function() { |
| 109 var errorSpan = this.querySelector('.extension-code-highlighted-source'); | 109 var errorSpan = this.querySelector('.extension-code-highlighted-source'); |
| 110 if (errorSpan) | 110 if (errorSpan) |
| 111 this.scrollTop = errorSpan.offsetTop - this.clientHeight / 2; | 111 this.scrollTop = errorSpan.offsetTop - this.clientHeight / 2; |
| 112 } | 112 } |
| 113 }; | 113 }; |
| 114 | 114 |
| 115 // Export | 115 // Export |
| 116 return { | 116 return {ExtensionCode: ExtensionCode}; |
| 117 ExtensionCode: ExtensionCode | |
| 118 }; | |
| 119 }); | 117 }); |
| OLD | NEW |