image-match/python/py/Lib/site-packages/terminado/_static/terminado.js

// Copyright (c) Jupyter Development Team
// Copyright (c) 2014, Ramalingam Saravanan <sarava@sarava.net>
// Distributed under the terms of the Simplified BSD License.

function make_terminal(element, size, ws_url) {
  var ws = new WebSocket(ws_url);
  var term = new Terminal({
    cols: size.cols,
    rows: size.rows,
    screenKeys: true,
    useStyle: true,
  });
  ws.onopen = function (event) {
    ws.send(
      JSON.stringify([
        "set_size",
        size.rows,
        size.cols,
        window.innerHeight,
        window.innerWidth,
      ]),
    );
    term.on("data", function (data) {
      ws.send(JSON.stringify(["stdin", data]));
    });

    term.on("title", function (title) {
      document.title = title;
    });

    term.open(element);

    ws.onmessage = function (event) {
      json_msg = JSON.parse(event.data);
      switch (json_msg[0]) {
        case "stdout":
          term.write(json_msg[1]);
          break;
        case "disconnect":
          term.write("\r\n\r\n[Finished... Terminado]\r\n");
          break;
      }
    };
  };
  return { socket: ws, term: term };
}