More css tweaks and bug fixes

This commit is contained in:
Pieter Vander Vennet 2020-07-25 18:00:08 +02:00
parent fd350bb095
commit eb4dda1ba2
29 changed files with 294 additions and 107303 deletions

View file

@ -37,6 +37,9 @@ export abstract class UIElement {
}
Update(): void {
if(document === undefined){
return ; // Running from console
}
let element = document.getElementById(this.id);
if (element === undefined || element === null) {
// The element is not painted