Undo/redo fully working

Normand Briere

2019-06-11 1d909ffa0c2beb51d453b53b845c4f3a749ca5f0

 RandomNode.java
..
..
@@ -95,7 +95,7 @@
95
95
         
96
96
             //(int)(Math.random()*super.size());
97
97
         //globalcount++;
98
-        gcount += GrafreeD.mix3(rnd+12345,firstchoice*12345,gcount);
98
+        gcount += Grafreed.mix3(rnd+12345,firstchoice*12345,gcount);
99
99
         
100
100
         gcount &= 0x7fffffff;
101
101