@@ -38,13 +38,18 @@ You can access it as `app` in the developer console.
41|] <> javascript <> [r|
42|] <> javascript <> [r|
44 var app = Elm.|] <> name <> [r|.init({ node: document.getElementById("elm") });
44 var app = Elm.|] <> name <> [r|.init({ node: document.getElementById("elm") });
45} catch (e) {
45} catch (e) {
46 // display initialization errors (e.g. bad flags, infinite recursion)
46 // display initialization errors (e.g. bad flags, infinite recursion)
47+ var header = document.createElement("h1");
48+ header.style.fontFamily = "monospace";
49+ header.innerText = "Initialization Error";
47− document.getElementById("elm").innerText = e;
50+ var pre = document.getElementById("elm");
51+ document.body.insertBefore(header, pre);