Fix ZIP issue

Normand Briere

2019-06-09 989407a46041b80c71fd906bff6b97528e6f3350

 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",