Attribute editor

Normand Briere

2019-06-16 b33ef80d78f01a6a61f4248b1bb7deaade42d503

 Wav.java
..
..
@@ -220,7 +220,7 @@
220
220
     // write out the wav file
221
221
     public Wav save()
222
222
     {
223
-        if (loop == 0 || !CameraPane.ANIMATION)
223
+        if (loop == 0 || !Globals.ANIMATION)
224
224
             return this;
225
225
         
226
226
 Object[] options = {"Yes",