New UI layout and UI improvements. Fixes #50

2020-05-10 13:11:43 +02:00
parent 8277b9c82b
commit 74fc4e058e
79 changed files with 3003 additions and 1987 deletions
@@ -27,6 +27,8 @@ namespace Random {
 using RandGenerator = std::mt19937;
 RandGenerator& getRandGenerator();

+RandGenerator createSeededGenerator(std::size_t seed);
+
 template <typename T>
 T
 getRandom(T min, T max)