Replace/restore buttons.

Normand Briere

2019-07-17 a5580a47d246c1272b10adba68070f6e13da5e41

 Grafreed.java
..
..
@@ -876,7 +876,7 @@
876
876
     static int depth = 0;
877
877
     static java.util.Stack stack = new java.util.Stack();
878
878
     static boolean traceoff = false; // true;
879
-    static float[] colorV = new float[5];
879
+    static float[] colorV = new float[4]; // 5];
880
880
 
881
881
     static void traceon()
882
882
     {