diff options
author | Joris | 2017-03-26 21:10:42 +0200 |
---|---|---|
committer | Joris | 2017-03-26 21:10:42 +0200 |
commit | 1e47a7754ca38bd1a6c74765d8378caf68ce4619 (patch) | |
tree | d0d9238479dc2529a1b558bbbcde346e7e8c2935 /public/javascripts | |
parent | c0ac16a713c4e53cf6af8e72a6d5f6b8ac5d6456 (diff) |
Separate client and server watch
Diffstat (limited to 'public/javascripts')
-rw-r--r-- | public/javascripts/main.js | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/public/javascripts/main.js b/public/javascripts/main.js new file mode 100644 index 0000000..3c3d797 --- /dev/null +++ b/public/javascripts/main.js @@ -0,0 +1,17 @@ +// Remove search query +window.history.pushState( + { + html: document.documentElement.innerHTML, + pageTitle: document.title + }, + '', + document.location.pathname + document.location.hash +); + +var app = Elm.Main.fullscreen({ + time: new Date().getTime(), + translations: JSON.parse(document.getElementById('translations').innerHTML), + conf: JSON.parse(document.getElementById('conf').innerHTML), + result: JSON.parse(document.getElementById('result').innerHTML), + windowSize: { width: window.innerWidth, height: window.innerHeight } +}); |