[fix] severities

This commit is contained in:
Andy Bunce 2025-08-17 19:52:52 +01:00
parent 99a77cd5bf
commit 2d99af9389
5 changed files with 38 additions and 11 deletions

View file

@ -9,7 +9,7 @@ var editor = ace.edit("editor", {
useWorker: false // Disable web worker for this simple demo
});
//ace.require('ace/ext/settings_menu');
ace.require('ace/ext/settings_menu');
editor.setTheme("ace/theme/github");
//editor.session.setMode("ace/mode/html");
editor.commands.addCommands([