2023-10-17 06:31:13 +02:00
|
|
|
// Copyright 2023, Command Line Inc.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
2022-07-12 02:55:03 +02:00
|
|
|
import * as mobx from "mobx";
|
2022-06-08 02:25:35 +02:00
|
|
|
import * as React from "react";
|
2023-08-22 06:37:04 +02:00
|
|
|
import { createRoot } from "react-dom/client";
|
|
|
|
import { sprintf } from "sprintf-js";
|
2024-02-13 07:47:51 +01:00
|
|
|
import { App } from "@/app/app";
|
2023-09-18 06:00:54 +02:00
|
|
|
import * as DOMPurify from "dompurify";
|
2024-02-28 01:26:58 +01:00
|
|
|
import { loadFonts } from "@/util/fontutil";
|
|
|
|
import * as textmeasure from "@/util/textmeasure";
|
2024-02-22 20:45:43 +01:00
|
|
|
import { getApi } from "@/models";
|
2022-06-08 02:25:35 +02:00
|
|
|
|
2022-07-05 07:37:45 +02:00
|
|
|
// @ts-ignore
|
2023-11-01 09:26:19 +01:00
|
|
|
let VERSION = __WAVETERM_VERSION__;
|
2023-01-17 18:59:31 +01:00
|
|
|
// @ts-ignore
|
2023-11-01 09:26:19 +01:00
|
|
|
let BUILD = __WAVETERM_BUILD__;
|
2022-06-08 02:25:35 +02:00
|
|
|
|
2024-03-05 01:27:34 +01:00
|
|
|
loadFonts();
|
2023-10-10 07:29:05 +02:00
|
|
|
|
2022-06-08 02:25:35 +02:00
|
|
|
document.addEventListener("DOMContentLoaded", () => {
|
2023-10-05 20:25:32 +02:00
|
|
|
let reactElem = React.createElement(App, null, null);
|
2022-06-20 22:03:20 +02:00
|
|
|
let elem = document.getElementById("app");
|
2022-06-08 02:25:35 +02:00
|
|
|
let root = createRoot(elem);
|
2024-02-19 02:58:22 +01:00
|
|
|
document.fonts.ready.then(() => {
|
2023-10-10 07:29:05 +02:00
|
|
|
root.render(reactElem);
|
2024-02-19 02:58:22 +01:00
|
|
|
});
|
2022-06-08 02:25:35 +02:00
|
|
|
});
|
|
|
|
|
2024-02-22 20:45:43 +01:00
|
|
|
// put some items on the window for debugging
|
2022-07-12 02:55:03 +02:00
|
|
|
(window as any).mobx = mobx;
|
2022-08-17 00:59:28 +02:00
|
|
|
(window as any).sprintf = sprintf;
|
2023-09-18 06:00:54 +02:00
|
|
|
(window as any).DOMPurify = DOMPurify;
|
2024-02-20 21:20:17 +01:00
|
|
|
(window as any).textmeasure = textmeasure;
|
2022-07-12 02:55:03 +02:00
|
|
|
|
2023-11-01 09:26:19 +01:00
|
|
|
console.log("WaveTerm", VERSION, BUILD);
|