@@ -69,6 +69,9 @@ function init(display, container, module, ports, moduleToReplace) {
70 updateInProgress = false;
70 updateInProgress = false;
72+ function setTimeout(func, delay) {
73+ window.setTimeout(func, delay);
73 var listeners = [];
76 var listeners = [];
74 function addListener(relevantInputs, domNode, eventName, func) {
77 function addListener(relevantInputs, domNode, eventName, func) {
@@ -90,6 +93,7 @@ function init(display, container, module, ports, moduleToReplace) {
90 // object. This permits many Elm programs to be embedded per document.
93 // object. This permits many Elm programs to be embedded per document.
91 var elm = {
94 var elm = {
92 notify:notify,
95 notify:notify,
96+ setTimeout:setTimeout,
93 node:container,
97 node:container,
94 display:display,
98 display:display,
95 id:ElmRuntime.guid(),
99 id:ElmRuntime.guid(),