venv/lib/python3.12/site-packages/terminado/uimod_embed.js

// Copyright (c) Jupyter Development Team
// Copyright (c) 2014, Ramalingam Saravanan <[email protected]>
// Distributed under the terms of the Simplified BSD License.

window.addEventListener(
  "load",
  function () {
    var containers = document.getElementsByClassName("terminado-container");
    var container, rows, cols, protocol, ws_url;
    for (var i = 0; i < containers.length; i++) {
      container = containers[i];
      rows = parseInt(container.dataset.rows);
      cols = parseInt(container.dataset.cols);
      protocol = window.location.protocol.indexOf("https") === 0 ? "wss" : "ws";
      ws_url =
        protocol + "://" + window.location.host + container.dataset.wsUrl;
      make_terminal(container, { rows: rows, cols: cols }, ws_url);
    }
  },
  false,
);