@@ -44,6 +44,12 @@ Elm.init = function(module, baseNode) {
44 document.addEventListener(name + '_' + elm.id, handler);
44 document.addEventListener(name + '_' + elm.id, handler);
47+ recv('elm_log', function(e) {console.log(e.value)});
48+ recv('elm_title', function(e) {document.title = e.value});
49+ recv('elm_redirect', function(e) {
50+ if (e.value.length > 0) { window.location = e.value; }
47 // If graphics are not enabled, escape early, skip over setting up DOM stuff.
53 // If graphics are not enabled, escape early, skip over setting up DOM stuff.
48 if (baseNode === null) return { send : send, recv : recv };
54 if (baseNode === null) return { send : send, recv : recv };