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

Fixed hideIntermediateSteps

Browse Source
This commit is contained in:
Martin Berg Alstad 2024-06-17 23:12:44 +02:00
parent 5043a7b4bd
commit 2c92ef38df
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/pages/truth-table.tsx
View File

@ -36,7 +36,7 @@ const TruthTablePage: Component = () => {
let simplifyDefault = searchParams.simplify === undefined || searchParams.simplify === "true", let simplifyDefault = searchParams.simplify === undefined || searchParams.simplify === "true",
inputContent = !!searchParams.exp, inputContent = !!searchParams.exp,
hideIntermediate = searchParams.hideIntermediate === "true" hideIntermediate = searchParams.hideIntermediateSteps === "true"
const [simplifyEnabled, setSimplifyEnabled] = createSignal(simplifyDefault) const [simplifyEnabled, setSimplifyEnabled] = createSignal(simplifyDefault)
const [fetchResult, setFetchResult] = createSignal<FetchResult | null>(null) const [fetchResult, setFetchResult] = createSignal<FetchResult | null>(null)
@ -75,7 +75,7 @@ const TruthTablePage: Component = () => {
simplify: simplifyEnabled(), simplify: simplifyEnabled(),
hide: hideValues().value, hide: hideValues().value,
sort: sortValues().value, sort: sortValues().value,
hideIntermediate: hideIntermediates() hideIntermediateSteps: hideIntermediates()
}) })
void getFetchResult(exp) void getFetchResult(exp)
@ -94,7 +94,7 @@ const TruthTablePage: Component = () => {
const response = const response =
await fetch(`${fetchUrls[useLocalhost() ? 0 : 1]}${encodeURIComponent(exp)}? await fetch(`${fetchUrls[useLocalhost() ? 0 : 1]}${encodeURIComponent(exp)}?
simplify=${simplifyEnabled()}&hide=${hideValues().value}&sort=${sortValues().value}&caseSensitive=false& simplify=${simplifyEnabled()}&hide=${hideValues().value}&sort=${sortValues().value}&caseSensitive=false&
hideIntermediate=${hideIntermediates()}`) hideIntermediateSteps=${hideIntermediates()}`)
const body = await response.json() const body = await response.json()
if (!response.ok) { if (!response.ok) {