Function $

extensions/java-modernization-studio/renderer.mjs:211–211

(sel)

    let autopilotRunning = false;

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