Pre-update

This commit is contained in:
2023-08-26 17:17:44 +02:00
parent f984ccb4cd
commit ee9cc7fe60
5 changed files with 421 additions and 423 deletions

View File

@ -18,6 +18,7 @@ import { documentation_factory } from "./Documentation";
import { EditorView } from "codemirror";
import { Clock } from "./Clock";
import { loadSamples, UserAPI } from "./API";
import { makeArrayExtensions } from "./ArrayExtensions";
import "./style.css";
import {
Universes,
@ -200,6 +201,7 @@ export class Editor {
// ================================================================================
this.api = new UserAPI(this);
makeArrayExtensions(this.api);
// ================================================================================
// CodeMirror Management