Method manageCompileResult

src/main/java/jace/ide/Program.java:240–248

(CompileResult lastResult)

    }

    protected void manageCompileResult(CompileResult lastResult) {
        editor.getEngine().executeScript("clearHighlights()");
        lastResult.getWarnings().forEach((line, message)
                -> editor.getEngine().executeScript("highlightLine(" + line + ",false,\"" + escapeString(message) + "\");")
        );
        lastResult.getErrors().forEach((line, message)
                -> editor.getEngine().executeScript("highlightLine(" + line + ",true,\"" + escapeString(message) + "\");")
        );
    }

    private String escapeString(Object message) {
        return String.valueOf(message).replaceAll("\\\"", """);