@@ -4,6 +4,16 @@ Value.addListener(document, 'elm_title', function(e) {document.title = e.value;}
4Value.addListener(document, 'elm_redirect', function(e) {
4Value.addListener(document, 'elm_redirect', function(e) {
5 if (e.value.length > 0) { window.location = e.value; }
5 if (e.value.length > 0) { window.location = e.value; }
7+Value.addListener(document, 'elm_viewport', function(e) {
8+ var node = document.getElementById('elm_viewport');
10+ node = document.createElement('meta');
11+ node.id = 'elm_viewport';
12+ node.name = 'viewport';
13+ document.head.appendChild(node);
15+ node.content = e.value; //'width=device-width, initial-scale=1';
8Elm.Prelude = function() {
18Elm.Prelude = function() {
9 var mod = function(x) { return function(y) {
19 var mod = function(x) { return function(y) {
@@ -164,6 +174,8 @@ Elm.Prelude = function() {
164 foldp$ : Elm.Signal.foldp$,
174 foldp$ : Elm.Signal.foldp$,
165 constant : Elm.Signal.constant,
175 constant : Elm.Signal.constant,
166 merge : Elm.Signal.merge,
176 merge : Elm.Signal.merge,
177+ merges : Elm.Signal.merges,
178+ mergeEither : Elm.Signal.mergeEither,
167 count : Elm.Signal.count,
179 count : Elm.Signal.count,
168 countIf : Elm.Signal.countIf,
180 countIf : Elm.Signal.countIf,
169 average : Elm.Signal.average,
181 average : Elm.Signal.average,