Make gnuplot-generated graphs a bit shorter, to better fit in web bro…

…wser screens
jafingerhut · Nov 25, 2012 · 819ffe6 · 819ffe6
1 parent bf9233f
commit 819ffe6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/results2graphs b/bin/results2graphs
@@ -406,7 +406,7 @@ consisting of one or more Measurement elements\n"
               plotline (str "plot " plotrange (str/join ", " plotlines) "\n")
               command (str
                        "set title '" title "'\n"
-                       "set terminal png size 800,800\n"
+                       "set terminal png size 800,600\n"
                        "set lmargin 8\n"
                        "set bmargin 7\n"
                        "set key outside\n"