use webworker lib

This commit is contained in:
Johannes Rieken
2019-07-10 13:29:40 +02:00
parent cbe50c977c
commit 65ca26af5a
3 changed files with 5 additions and 4 deletions

View File

@@ -346,7 +346,7 @@ export class IssueReporter extends Disposable {
const showInfoElements = document.getElementsByClassName('showInfo');
for (let i = 0; i < showInfoElements.length; i++) {
const showInfo = showInfoElements.item(i);
showInfo!.addEventListener('click', (e) => {
showInfo!.addEventListener('click', (e: MouseEvent) => {
e.preventDefault();
const label = (<HTMLDivElement>e.target);
if (label) {