src/Pure/ML/ml_statistics.scala

     override val functions: Session.Protocol_Functions =
       List(Markup.ML_Statistics.name -> ml_statistics)
   }
 
 
-  /* memory fields (mega bytes) */
-
-  def mem_print(x: Long): Option[String] =
-    if (x == 0L) None else Some(x.toString + " M")
-
-  def mem_scale(x: Long): Long = x / 1024 / 1024
+  /* memory fields */
 
   val scale_MiB: Double = 1.0 / 1024 / 1024
 
   val CODE_SIZE = "size_code"
   val STACK_SIZE = "size_stacks"

           SortedMap.empty[String, Double] ++
             (for {
               (x, y) <- props.iterator ++ speeds.iterator
               if x != Now.name && domain(x)
               z = java.lang.Double.parseDouble(y) if z != 0.0
-            } yield { (x.intern, field_scale(x, z)) })
+            } yield { (x.intern, z) })
 
         result += ML_Statistics.Entry(time, data)
       }
       result.toList
     }

 
   def update_data(data: XYSeriesCollection, selected_fields: List[String]): Unit = {
     data.removeAllSeries()
     for (field <- selected_fields) {
       val series = new XYSeries(field)
-      content.foreach(e => series.add(e.time, e.get(field)))
+      content.foreach(e => series.add(e.time, ML_Statistics.field_scale(field, e.get(field))))
       data.addSeries(series)
     }
   }
 
   def chart(title: String, selected_fields: List[String]): JFreeChart = {