diff options
author | Guillermo Ramos | 2015-02-04 22:02:12 +0100 |
---|---|---|
committer | Guillermo Ramos | 2015-02-04 22:02:12 +0100 |
commit | 518ef6fff0d17440b7f19fdaed04061be5096848 (patch) | |
tree | 97db033456fa76e2d4deefcb18a7af141668400d /templates | |
parent | e015dcc0af83d5331ec7561fd5bc57c3f3c54ef5 (diff) | |
download | turing-web-518ef6fff0d17440b7f19fdaed04061be5096848.tar.gz |
Showing transitions (horrible mess, needs care)
Diffstat (limited to 'templates')
-rw-r--r-- | templates/home.hamlet | 3 | ||||
-rw-r--r-- | templates/home.julius | 10 |
2 files changed, 11 insertions, 2 deletions
diff --git a/templates/home.hamlet b/templates/home.hamlet index ed377e9..4155dbb 100644 --- a/templates/home.hamlet +++ b/templates/home.hamlet @@ -15,3 +15,6 @@ <span class="glyphicon glyphicon-play"> <button id="#{butForward}" class="btn"> <span class="glyphicon glyphicon-step-forward"> + <div class="row"> + <div class="col-sm-12 col-md-12"> + <pre id="#{state}"> diff --git a/templates/home.julius b/templates/home.julius index b454de8..0c33c09 100644 --- a/templates/home.julius +++ b/templates/home.julius @@ -4,7 +4,8 @@ $(function() { bBackward : $("##{rawJS butBackward}"), bTogglePlay : $("##{rawJS butTogglePlay}"), bForward : $("##{rawJS butForward}"), - results : $("##{rawJS results}") + results : $("##{rawJS results}"), + state : $("##{rawJS state}") }; var pollInterval = 10000; var playing = false; @@ -65,7 +66,12 @@ $(function() { }; sock.onmessage = function (e) { // var data = JSON.parse(e.data); - ui.results.html(e.data); + var data = e.data; + if (data[1] === "+") { + ui.state.html(data); + } else { + ui.results.html(data); + } }; sock.onerror = function (e) { alert("ERROR! D: (" + e + ")"); |