Function set_interval

pdflinux.js:37–41

(callback, interval)

}

function set_interval(callback, interval) {
  let id = Math.random()+"";
  timeout_callbacks[id] = callback;
  app.setInterval(safe_script(`set_interval_callback(${id})`), interval);
}

function print_msg(msg) {
  lines.push(""+msg);