sfja/karlkoder-playground
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add typescript linting

Browse Source
This commit is contained in:
Reimar 2025-10-15 14:45:36 +02:00
parent 834afce5fc
commit 77235df31f
2 changed files with 25 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
index.html
View File

@ -11,6 +11,7 @@
<script
src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.43.2/ext-language_tools.js"
></script>
<script src="https://www.unpkg.com/ace-linters@latest/build/ace-linters.js"></script>
<script src="./src/index.js" type="module"></script>
</head>
<body>

30
src/index.js
View File

@ -6,8 +6,6 @@ import { CodeRunner } from "./code_runner.js";
import { AssetEditor } from "./asset_editor.js";
import { AssetProvider } from "./asset_provider.js";
import { Gamelib } from "./gamelib.js";
import { GamelibCompleter } from "./gamelib_completer.js";
import { TextCompleter } from "./text_completer.js";
import { ConsoleInput } from "./console_input.js";
import { ProjectSaveHandler } from "./project_save_handler.js";
@ -15,18 +13,38 @@ const editor = ace.edit("editor");
editor.setTheme("ace/theme/gruvbox");
editor.session.setMode("ace/mode/javascript");
const langTools = ace.require("ace/ext/language_tools");
editor.setOptions({
enableBasicAutocompletion: true,
enableLiveAutocompletion: true,
copyWithEmptySelection: true,
});
langTools.setCompleters([new GamelibCompleter(), new TextCompleter()]);
editor.setValue(sessionStorage.getItem("code") ?? editor.getValue(), -1);
const languageProvider = LanguageProvider.fromCdn(
"https://www.unpkg.com/ace-linters@latest/build",
undefined,
{ typescript: true },
);
languageProvider.registerEditor(editor);
languageProvider.setGlobalOptions("typescript", {
extraLibs: {
"gamelib.js": {
content: await (await fetch("/src/gamelib.js")).text(),
version: 1,
},
"karlkoder.js": {
content: `
import { GamelibAdapter } from "./gamelib.js";
declare global {
const karlkoder: { lib: () => GamelibAdapter }
}
`,
version: 1,
},
},
});
const playgroundConsole = new PlaygroundConsole(
document.querySelector("#console-code"),
editor,