proper data columns for plots;
authorwenzelm
Sun Mar 10 22:38:00 2019 +0100 (5 weeks ago ago)
changeset 700752eade8651b93
parent 70074 1a7857abb75c
child 70076 6b03a8cf092d
proper data columns for plots;
src/Pure/Admin/build_status.scala
     1.1 --- a/src/Pure/Admin/build_status.scala	Sun Mar 10 21:33:05 2019 +0100
     1.2 +++ b/src/Pure/Admin/build_status.scala	Sun Mar 10 22:38:00 2019 +0100
     1.3 @@ -483,12 +483,12 @@
     1.4  
     1.5                val heap_plots =
     1.6                  List(
     1.7 -                  """ using 1:6 smooth sbezier title "heap maximum (smooth)" """,
     1.8 -                  """ using 1:6 smooth csplines title "heap maximum" """,
     1.9 -                  """ using 1:7 smooth sbezier title "heap average (smooth)" """,
    1.10 -                  """ using 1:7 smooth csplines title "heap average" """,
    1.11 -                  """ using 1:8 smooth sbezier title "heap stored (smooth)" """,
    1.12 -                  """ using 1:8 smooth csplines title "heap stored" """)
    1.13 +                  """ using 1:10 smooth sbezier title "heap maximum (smooth)" """,
    1.14 +                  """ using 1:10 smooth csplines title "heap maximum" """,
    1.15 +                  """ using 1:11 smooth sbezier title "heap average (smooth)" """,
    1.16 +                  """ using 1:11 smooth csplines title "heap average" """,
    1.17 +                  """ using 1:12 smooth sbezier title "heap stored (smooth)" """,
    1.18 +                  """ using 1:12 smooth csplines title "heap stored" """)
    1.19  
    1.20                def jfreechart(plot_name: String, fields: ML_Statistics.Fields): Image =
    1.21                {