2019-12-27 02:47:24 +08:00
|
|
|
import { ResizableWidget } from "./ResizableWidget";
|
|
|
|
import { UnavailableView } from "../../quest_editor/gui/UnavailableView";
|
|
|
|
import "./ErrorView.css";
|
2019-12-27 07:55:32 +08:00
|
|
|
import { div } from "./dom";
|
2019-12-27 02:47:24 +08:00
|
|
|
|
|
|
|
export class ErrorView extends ResizableWidget {
|
|
|
|
readonly element: HTMLElement;
|
|
|
|
|
|
|
|
constructor(message: string) {
|
|
|
|
super();
|
|
|
|
|
2019-12-27 07:55:32 +08:00
|
|
|
this.element = div(
|
|
|
|
{ className: "core_ErrorView" },
|
2019-12-27 02:47:24 +08:00
|
|
|
this.disposable(new UnavailableView(message)).element,
|
|
|
|
);
|
2019-12-27 07:55:32 +08:00
|
|
|
|
|
|
|
this.finalize_construction();
|
2019-12-27 02:47:24 +08:00
|
|
|
}
|
|
|
|
}
|