Function esc

extensions/java-modernization-studio/renderer.mjs:212–215

(s)

    const $ = (sel) => document.querySelector(sel);
    const esc = (s) =>
        String(s == null ? "" : s).replace(/[&<>"']/g, (c) =>
            ({ "&": "&amp;", "<": "&lt;", ">": "&gt;", '"': "&quot;", "'": "&#39;" }[c])
        );

    function toast(msg) {
        const t = $("#toast");