martials/old.martials.no
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Encoding of the expression in the uri

Browse Source
This commit is contained in:
Martin Berg Alstad 2023-01-16 20:59:02 +01:00
parent 18a644bd8f
commit a93e082765
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/truth-table.tsx
View File

@ -77,7 +77,7 @@ const TruthTablePage: Component = () => {
setError(null); setError(null);
setIsLoaded(false); setIsLoaded(false);
fetch(`https://api.martials.no/simplify-truths/simplify/table?exp=${ exp }&simplify=${ simplifyEnabled() } fetch(`https://api.martials.no/simplify-truths/simplify/table?exp=${ encodeURIComponent(exp) }&simplify=${ simplifyEnabled() }
&hide=${ hideValues().value }&sort=${ sortValues().value }`) &hide=${ hideValues().value }&sort=${ sortValues().value }`)
.then(res => res.json()) .then(res => res.json())
.then(res => setFetchResult(res)) .then(res => setFetchResult(res))
@ -86,18 +86,18 @@ const TruthTablePage: Component = () => {
} }
} }
function getInputElement() { function getInputElement(): HTMLInputElement | null {
return document.getElementById(inputId) as HTMLInputElement | null; return document.getElementById(inputId) as HTMLInputElement | null;
} }
function onTyping() { function onTyping(): void {
const el = getInputElement(); const el = getInputElement();
if (el && (el.value !== "") !== typing()) { if (el && (el.value !== "") !== typing()) {
setTyping(el.value !== ""); setTyping(el.value !== "");
} }
} }
function clearSearch() { function clearSearch(): void {
const el = getInputElement(); const el = getInputElement();
if (el) { if (el) {
el.value = ""; el.value = "";
@ -109,7 +109,7 @@ const TruthTablePage: Component = () => {
const tableId = "truth-table"; const tableId = "truth-table";
const filenameId = "excel-filename"; const filenameId = "excel-filename";
onMount(() => { onMount((): void => {
// Focuses searchbar on load // Focuses searchbar on load
getInputElement()?.focus(); getInputElement()?.focus();
}); });