2020-06-29 03:12:44 +02:00
|
|
|
import {UIElement} from "../UIElement";
|
2020-06-24 00:35:19 +02:00
|
|
|
|
|
|
|
export class FixedUiElement extends UIElement {
|
|
|
|
private _html: string;
|
|
|
|
|
|
|
|
constructor(html: string) {
|
|
|
|
super(undefined);
|
2020-07-20 15:54:50 +02:00
|
|
|
this._html = html ?? "";
|
2020-06-24 00:35:19 +02:00
|
|
|
}
|
|
|
|
|
2020-07-20 18:24:00 +02:00
|
|
|
InnerRender(): string {
|
2020-06-24 00:35:19 +02:00
|
|
|
return this._html;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
}
|