# HG changeset patch
# User Chris Cannam
# Date 1380306240 -3600
# Node ID ad99cd603b75464282d8b1ca5732ceed911fdcf9
# Parent  0321896e7bbd9fa4a9bc0721e3230357b1a1d486
We don't want animated plots by default

diff -r 0321896e7bbd -r ad99cd603b75 src/may/plot.yeti
--- a/src/may/plot.yeti	Fri Sep 27 16:40:46 2013 +0100
+++ b/src/may/plot.yeti	Fri Sep 27 19:24:00 2013 +0100
@@ -98,7 +98,9 @@
     ());
 
 plot structures =
-   (chart = new Chart(Quality#Nicest);
+   (quality = Quality#Nicest;
+    quality#setAnimated(false);
+    chart = new Chart(quality);
     var j = 0;
     for structures do s:
         colour = distinctColour j;