Fix missing linter results caused by incorrect JS loop

Fixes CODEOCEAN-FRONTEND-69
This commit is contained in:
Sebastian Serth
2024-04-24 14:47:53 +02:00
committed by Dominic Sauer
parent 88c6be88f1
commit 6e4e376c91

View File

@ -572,9 +572,7 @@ var CodeOceanEditor = {
return map; return map;
}, {}); }, {});
for (const severity of severity_groups) { for (const [severity, linter_results] of Object.entries(severity_groups)) {
const linter_results = severity_groups[severity]
const li = document.createElement("li"); const li = document.createElement("li");
const text = $.parseHTML(`<u>${severity}:</u>`); const text = $.parseHTML(`<u>${severity}:</u>`);
$(li).append(text); $(li).append(text);