2017-06-21 15:29:06 +02:00
|
|
|
export function* findAll(className: string) {
|
2017-06-21 18:44:20 +02:00
|
|
|
// getElementsByClassName failed for some reason.
|
|
|
|
// TODO: Test getElementsByClassName again.
|
2017-06-26 12:32:07 +02:00
|
|
|
// let elements = document.querySelectorAll("." + className)
|
|
|
|
let elements = document.getElementsByClassName(className)
|
2017-06-21 18:44:20 +02:00
|
|
|
|
2017-06-20 12:41:26 +02:00
|
|
|
for(let i = 0; i < elements.length; ++i) {
|
|
|
|
yield elements[i] as HTMLElement
|
|
|
|
}
|
2017-06-26 03:57:29 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
export function delay<T>(millis: number, value?: T): Promise<T> {
|
|
|
|
return new Promise(resolve => setTimeout(() => resolve(value), millis))
|
2017-06-20 12:41:26 +02:00
|
|
|
}
|