diff options
author | Tom Smeding <tom@tomsmeding.com> | 2023-06-12 23:07:05 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2023-06-12 23:07:05 +0200 |
commit | 29d26068ad98e865272198090375fca57e5cf156 (patch) | |
tree | e30c4edd65fa58d32ee8865c02f4a49e04d303f5 /modules/unicode/index.html | |
parent | fdbedfe021aca37dbb17c47fb613c2b9b4c134d9 (diff) |
unicode: Recognise multiple index literals in input
Diffstat (limited to 'modules/unicode/index.html')
-rw-r--r-- | modules/unicode/index.html | 32 |
1 files changed, 22 insertions, 10 deletions
diff --git a/modules/unicode/index.html b/modules/unicode/index.html index 924f86e..8738b6f 100644 --- a/modules/unicode/index.html +++ b/modules/unicode/index.html @@ -49,7 +49,7 @@ function do_lookup(override) { xhr.onreadystatechange = function() { if (xhr.readyState == 4) { if (xhr.status == 200) { - handleResponse(JSON.parse(xhr.responseText), input); + handleResponse(JSON.parse(xhr.responseText)); } else { alert("Request failed: " + xhr.responseText); } @@ -62,7 +62,7 @@ function do_lookup(override) { xhr.send(); } -function handleResponse(json, input) { +function handleResponse(json) { var elem; /* elem = document.getElementById("json"); @@ -70,12 +70,20 @@ function handleResponse(json, input) { elem.appendChild(document.createTextNode(JSON.stringify(json))); */ var index_container = document.getElementById("index_container"); - if ("index" in json) { + if (json.indices.length > 0) { index_container.classList.remove("invisible"); - document.getElementById("index_input").innerHTML = input; - elem = document.getElementById("index"); - elem.innerHTML = ""; - elem.appendChild(makeCodepointDiv(json["index"])); + setTableRows("indices", json.indices); + if (json.indices.length > 1) { + document.getElementById("indices_concatenated_container").classList.remove("invisible"); + elem = document.getElementById("indices_concatenated"); + elem.innerHTML = ""; + var str = ""; + for (var i = 0; i < json.indices.length; i++) + str += String.fromCodePoint(parseInt(json.indices[i][0], 16)); + elem.appendChild(document.createTextNode(str)); + } else { + document.getElementById("indices_concatenated_container").classList.add("invisible"); + } } else if (!index_container.classList.contains("invisible")) { index_container.classList.add("invisible"); } @@ -141,15 +149,19 @@ window.addEventListener("load", function() { <input type="button" onclick="do_lookup()" value="Lookup"> <br> - <!-- <pre id="json"></pre><br> --> + <!-- <code id="json"></code><br> --> <div id="notfound_container" class="invisible"> These were not found, perhaps the server needs to be update its unicode table? <code id="notfound"></code> </div> <div id="index_container" class="invisible"> - <h3>Codepoint <span id="index_input"></span></h3> - <div id="index" class="table"></div> + <h3>Numeric codepoints <span id="indices_num"></span></h3> + <div id="indices" class="table"></div> + <br> + <div id="indices_concatenated_container"> + Concatenated: ⟨ <span id="indices_concatenated"></span> ⟩ + </div> </div> <h3>Codepoints <span id="codepoints_num"></span></h3> |