});

          editor.layout();
        });

        // no point in keeping this around.
        window.removeEventListener("load", init);
      };

      window.addEventListener("load", init);
    </script>
  </body>
</html>
