From a6775d5495efd9bef927a5873fbc5ed9c7c46067 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Thu, 14 Dec 2023 22:13:44 +0100 Subject: [PATCH] move 'show more help'-button on mobile #143 --- client/src/components/infoview/main.tsx | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx index 048aef8..c8ed1c1 100644 --- a/client/src/components/infoview/main.tsx +++ b/client/src/components/infoview/main.tsx @@ -493,18 +493,20 @@ export function TypewriterInterface({props}) { {props.data?.introduction} } - {mobile && <> + {mobile && - {i == proof.length - 1 && hasHiddenHints(proof.length - 1) && !showHelp.has(k - withErr) && - - } - } setDisableInput(n > 0) : (n) => {}}/> + + {mobile && i == proof.length - 1 && + hasHiddenHints(proof.length - 1) && !showHelp.has(k - withErr) && + + } + {/* Show a message that there are no goals left */} {!step.goals.length && (