anchor.diff:      Terminal.applyAddon(fullscreen);
       Terminal.applyAddon(search);
       Terminal.applyAddon(winptyCompat);
  -    terminal.open(container); // container must be visible
  +    terminal.open(container);
       terminal.winptyCompatInit();
       terminal.fit();
       terminal.focus();
  
positive.code:   //- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    replButton.click(() => {
      const div = $('<div>');
      const container = $('<div class="repl-box">');
  
      div.append(container).dialog({
                width: 700,
             autoOpen: true,
        closeOnEscape: true,
  
negative.code:   const replButton = $("#repl-button");
  
    cd.setupReplButton = (onOff) => {
      if (onOff === 'on' || true) {
        replButton.show();
      }
    };
  