error reporting in editor window

This commit is contained in:
2023-08-21 16:35:46 +02:00
parent 5a732dd03c
commit 5cb89a3b32
4 changed files with 21 additions and 4 deletions

View File

@ -163,6 +163,10 @@ export class Editor {
"vim-mode"
) as HTMLButtonElement;
// Error line
error_line: HTMLElement = document.getElementById("error_line") as HTMLElement
show_error: boolean = false
constructor() {
// ================================================================================
// Loading the universe from local storage