Edit panel pin state.

Normand Briere

2019-06-26 89b25e7cc97f6fe221dfd41c4d463500f8a31bc1

 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
     {