script.js

var generate_button = document.getElementById("Generate");
generate_button.insertAdjacentHTML("afterend", '<div style="position:relative;"> <label style="color:#8b8b8b;white-space:nowrap;position:absolute;top:8px;right:0px;"><input type="checkbox" id="force-search" name="accept">  Force web search </label> </div>');
generate_button.style.setProperty("position", "relative");
generate_button.style.setProperty("top", "15px");
generate_button.style.setProperty("margin-left", "-10px");

var stop_button = document.getElementById("stop");
stop_button.style.setProperty("position", "relative");
stop_button.style.setProperty("top", "15px");
stop_button.style.setProperty("margin-left", "-10px");

var checkbox = document.getElementById("force-search");
var gradio_force_search_checkbox = document.getElementById("Force-search-checkbox").children[1].firstChild;
checkbox.addEventListener('change', function() {
  if (this.checked) {
    if (!gradio_force_search_checkbox.checked) {
        gradio_force_search_checkbox.click();
    }
  } else {
    if (gradio_force_search_checkbox.checked) {
        gradio_force_search_checkbox.click();
    }
  }
});