waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Add missing return type

Browse Source
This commit is contained in:
Daniel Imms
2017-05-16 10:04:12 -07:00
parent 537018f71f
commit 1a777edffe
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/utils/DomElementObjectPool.ts
+1 -1
View File
@@ -45,7 +45,7 @@ export class DomElementObjectPool {
* removed.
* @param element The element being released.
*/
public release(element: HTMLElement) {
public release(element: HTMLElement): void {
if (!this._inUse[element.getAttribute(DomElementObjectPool.OBJECT_ID_ATTRIBUTE)]) {
throw new Error('Could not release an element not yet acquired');
}