Merge branch 'master' into dev

This commit is contained in:
Bram Kragten 2020-11-11 15:26:26 +01:00 committed by GitHub
commit 0e5d6fe8d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -232,6 +232,9 @@ class SystemHealthCard extends LitElement {
`System Health\n\n${haContent}\n\n${domainParts.join("\n\n")}` `System Health\n\n${haContent}\n\n${domainParts.join("\n\n")}`
); );
// Remove temporary heading again
copyElement.removeChild(tempTitle);
this._toolTip!.show(); this._toolTip!.show();
setTimeout(() => this._toolTip?.hide(), 3000); setTimeout(() => this._toolTip?.hide(), 3000);
} }