Currently, you have to you have to set the random seed completely manually. Add a button to generate a seed. Also, trigger rerender as soon as a new seed is chosen.
Motivation
Humans are bad at inventing numbers
Proposed solution
A random button to the right of the input field should work.
Summary
Currently, you have to you have to set the random seed completely manually. Add a button to generate a seed. Also, trigger rerender as soon as a new seed is chosen.
Motivation
Humans are bad at inventing numbers
Proposed solution
A random button to the right of the input field should work.