| commit | 3141f41937f697af965163dfce1cf9ed92e5015e | [log] [tgz] |
|---|---|---|
| author | Simon Zünd <[email protected]> | Wed Aug 12 09:52:51 2020 |
| committer | Commit Bot <[email protected]> | Wed Aug 12 12:54:57 2020 |
| tree | e9e3862ccd5cc2755b15f95b427a6b68e1773ef5 | |
| parent | 10ebfaf26d73099a8d3d6cfcb414dbb2a119bfdb [diff] [blame] |
[ts] Type-check ui/ResizerWidget.js with TypeScript [email protected] Bug: chromium:1011811 Change-Id: I0cc4fcc06b33c715d1a8ee642c91b54e395f8b14 Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2351781 Reviewed-by: Jack Franklin <[email protected]> Commit-Queue: Simon Zünd <[email protected]>
diff --git a/front_end/ui/SplitWidget.js b/front_end/ui/SplitWidget.js index d83fb24..229b3c4 100644 --- a/front_end/ui/SplitWidget.js +++ b/front_end/ui/SplitWidget.js
@@ -818,14 +818,14 @@ * @param {!Element} resizerElement */ installResizer(resizerElement) { - this._resizerWidget.addElement(resizerElement); + this._resizerWidget.addElement(/** @type {!HTMLElement} */ (resizerElement)); } /** * @param {!Element} resizerElement */ uninstallResizer(resizerElement) { - this._resizerWidget.removeElement(resizerElement); + this._resizerWidget.removeElement(/** @type {!HTMLElement} */ (resizerElement)); } /**