diff options
| -rw-r--r-- | html/whiteboard.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html/whiteboard.js b/html/whiteboard.js index b11dc96..38f972f 100644 --- a/html/whiteboard.js +++ b/html/whiteboard.js @@ -169,16 +169,19 @@ function connect_websocket() { websocket.send("<request><command>getversion</command></request>"); websocket.send("<request><command>getfile</command><id>" + get_id() + "</id></request>"); set_status(""); // ok + document.getElementById("board").focus(); }; websocket.onclose = function(e) { alert("Server connection closed."); document.getElementById("reconnect").style.display = 'inline'; + document.getElementById("reconnect").focus(); }; websocket.onerror = function(e) { alert("Error: Server connection closed."); document.getElementById("reconnect").style.display = 'inline'; + document.getElementById("reconnect").focus(); }; } @@ -264,9 +267,6 @@ function on_input() revisionElement.appendChild(document.createTextNode(revision)); requestElement.appendChild(revisionElement); - //Module.onRuntimeInitialized = () => { alert("DEBUG: " + Module._getnum(1) + " " + UTF8ToString(Module._getstring(allocateUTF8("abc")))); - //_free(allocateUTF8("abc")); - //}; var old_version = allocateUTF8(baseline); var new_version = allocateUTF8(baseline_candidate); var diff = Module._diff_create(old_version, new_version); |