diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-04 13:30:41 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-04 13:30:41 -0700 |
| commit | a4994371c0b0fbea9d2802acc22d9cc3977a0de0 (patch) | |
| tree | 98fd05869028a931f5ec8cf503b5cdf6b6c52e87 /graph/web | |
| parent | 9149ea7a50c564856bd09633f38d980e8230c34f (diff) | |
| download | Simple-readme.tar.gz Simple-readme.zip | |
Slides for 2026 REBASEreadme
Diffstat (limited to 'graph/web')
| -rw-r--r-- | graph/web/viewer.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/graph/web/viewer.js b/graph/web/viewer.js index 6309deae..4412817e 100644 --- a/graph/web/viewer.js +++ b/graph/web/viewer.js @@ -71,7 +71,7 @@ function updateUI() { status.textContent = failure || (connection !== "Connected" ? connection : !rendererReady ? "Connected; initializing graph renderer..." : busy ? busy : compiling ? "Compiling... " + frames.length + " frames received" : - done ? frames.length + " frames ready" : "Connected"); + done ? frames.length + " frames ready" : "Ready. Enter a program and click Compile."); const at = wanted >= 0 ? wanted : current; if (document.activeElement !== frameNo) frameNo.value = String(at + 1); frameNo.max = scrub.max = String(Math.max(1, frames.length)); @@ -365,7 +365,7 @@ try { socket.onmessage = event => { const message = event.data; if (message === "!") { - get_program(); + updateUI(); } else if (message === "#") { done = true; compiling = false; |
