startPointForMobileJs top-level constant

String const startPointForMobileJs

Implementation

const startPointForMobileJs = r"""
  let katexWrapperElem;
  let katexElm;

  document.addEventListener("DOMContentLoaded", function() {

      katexWrapperElm = document.getElementById("katex_wrapper");
      katexElm = document.getElementById("katex");

      dart_ready.postMessage("");
  });
""";