@@ -44,6 +44,12 @@ Elm.init = function(module, baseNode) {
4444 document.addEventListener(name + '_' + elm.id, handler);
4545 }
4646
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; }
51+ });
52+
4753 // If graphics are not enabled, escape early, skip over setting up DOM stuff.
4854 if (baseNode === null) return { send : send, recv : recv };
4955