Skip to content

Commit 318d3f0

Browse files
authored
Merge pull request #1672 from ccnmtl/hide-fol-english
Hide the natural language statement until selected.
2 parents a02e6ac + 2a22fa8 commit 318d3f0

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

media/js/src/firstOrderLogic/options.tsx

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,8 @@ export const Options: React.FC<OptionProps> = ({
3131
<button className={`btn btn-large w-100 my-1 btn-${showResult(i)}`}
3232
onClick={() => setSelected(i)}
3333
>
34-
<p>{option.naturalLanguageStatement}</p>
34+
{selected === i &&
35+
<p>{option.naturalLanguageStatement}</p>}
3536
<strong>{option.formalFOLStatement}</strong>
3637
</button>
3738
</div>

0 commit comments

Comments
 (0)