Function syncScrolling

embedded_resources/web_interface/index.js:333–340

()

}

function syncScrolling() {
  const textarea = $(".dialog.editor .file-content");
  const lineNumbers = $(".dialog.editor .line-numbers");

  if (!textarea || !lineNumbers) return;

  lineNumbers.scrollTop = textarea.scrollTop;
}

function renderFileRow(fileList) {
  $("table.explorer tbody").innerHTML = "";