Limit default graphMatrixFile palette to 8192 colors.

For some reason, leaving it at the default 32761 gives me unfilled
color bars for z scaling.

diff --git a/src/figures/asy/wtk_graph.asy b/src/figures/asy/wtk_graph.asy
index ca997b79b96840bf7a35e43867dcda0b6c86aa78..77e139548b5b7840a484b968922106d8b6068948 100644 (file)
--- a/src/figures/asy/wtk_graph.asy
+++ b/src/figures/asy/wtk_graph.asy
@@ -147,7 +147,7 @@ void graphMatrixFile(picture pic=currentpicture, string file="datafile",
                      int xcol=0, int ycol=1, int zcol=2,
                      real xscale=1, real yscale=1,
                      real[] zfn(real[] z)=identity_zfn,
-                     pen[] p=BWRainbow(), Label x_label=null,
+                     pen[] p=BWRainbow(8192), Label x_label=null,
                      Label y_label=null, Label palette_label=null,
                      real palette_offset=6pt, real palette_width=12pt) {
   file fin = input(file).line();