Added button to hide intermediate values

This commit is contained in:
Martin Berg Alstad 2023-03-05 23:53:10 +01:00
parent c14c21bfa8
commit 191ba2c793

View File

@ -220,6 +220,7 @@ hideIntermediate=${ hideIntermediates() }`)
</form>
{ /* Options row */ }
<Row className={ "my-1 gap-2" }>
<span class={ "h-min" }>{ "Simplify" }: </span>
@ -267,6 +268,10 @@ hideIntermediate=${ hideIntermediates() }`)
/>
</div>
<MySwitch title={ "Hide intermediate values" }
onChange={ setHideIntermediates }
defaultValue={ hideIntermediates() } />
<Show when={ isLoaded() } keyed>
<MyDialog title={ "Download" }