| Index: present/static/playground.js |
| =================================================================== |
| --- a/present/static/playground.js |
| +++ b/present/static/playground.js |
| @@ -5,6 +5,8 @@ |
| (function() { |
| "use strict"; |
| + var wire = document.getElementById('wire'); |
| + |
| var websocket, outputs = {}; |
| function showMessage(o, m, className) { |
| @@ -17,6 +19,7 @@ |
| } |
| function onMessage(e) { |
| + if (wire) wire.innerHTML += '<div class="recv">'+e.data+'</div>'; |
| var m = JSON.parse(e.data); |
| var o = outputs[m.Id]; |
| if (o === null) { |
| @@ -42,7 +45,9 @@ |
| } |
| function sendMessage(m) { |
| - websocket.send(JSON.stringify(m)); |
| + var s = JSON.stringify(m) |
| + if (wire) wire.innerHTML += '<div class="send">'+s+'</div>'; |
| + websocket.send(s); |
| } |
| var count = 0; |
| @@ -74,6 +79,7 @@ |
| var outpre = document.createElement('pre'); |
| function onRun() { |
| + if (wire) wire.innerHTML = ""; |
| outpre.innerHTML = ""; |
| output.style.display = "block"; |
| sendMessage({Id: id, Kind: "run", Body: text(code)}); |