Rein van der Woerd 1d31ac5a3f Added a stronger randomize() to the GUI when holding Shift... ...

With different styling to indicate that the effect will be greater...

2020-03-04 22:15:32 +01:00

..

Gui.kt

Added a stronger randomize() to the GUI when holding Shift...

2020-03-04 22:15:32 +01:00