From 17ae81f04074ad5b2fdbb21f221e33e69b425e53 Mon Sep 17 00:00:00 2001 From: jsteuer <jan.steuer.htw@gmail.com> Date: Wed, 05 Feb 2020 11:36:17 +0100 Subject: [PATCH] better docs, ide-tool-utils as ts, es6 and es5 --- examples/example-standalone/MyEditor/editor.html | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/examples/example-ide/MyEditor/editor.html b/examples/example-standalone/MyEditor/editor.html similarity index 76% rename from examples/example-ide/MyEditor/editor.html rename to examples/example-standalone/MyEditor/editor.html index e7c7ed7..2c79e4a 100644 --- a/examples/example-ide/MyEditor/editor.html +++ b/examples/example-standalone/MyEditor/editor.html @@ -24,6 +24,12 @@ </ul> <script src="/mathcoach/ui/ide/api/ide-lib.js"></script> + <!-- + Falls gewünscht: "mathcoach-ide-tool-utils.js" aus "/dist/lib/" + in dieses Verzeichnis kopieren und einbinden. + + <script src="mathcoach-ide-tool-utils.js"></script> + --> <script src="./editor.js"></script> </body> </html> \ No newline at end of file -- Gitblit v1.10.0-SNAPSHOT