src/Pure/System/progress.scala

 
 
   /* status lines (e.g. at bottom of output) */
 
   trait Status extends Progress {
-    def status_enabled: Boolean = false
+    def status_detailed: Boolean = false
     def status_hide(status: Progress.Output): Unit = ()
 
     protected var _status: Progress.Output = Nil
 
     def status_clear(): Progress.Output = synchronized {

     }
 
     override def nodes_status(nodes_status: Progress.Nodes_Status): Unit = synchronized {
       status_clear()
       output(nodes_status.completed_theories)
-      status_output(if (status_enabled) nodes_status.status_theories else Nil)
+      status_output(if (status_detailed) nodes_status.status_theories else Nil)
     }
   }
 }
 
 class Progress {

 class Console_Progress(
   override val verbose: Boolean = false,
   detailed: Boolean = false,
   stderr: Boolean = false)
 extends Progress with Progress.Status {
-  override def status_enabled: Boolean = detailed
+  override def status_detailed: Boolean = detailed
   override def status_hide(status: Progress.Output): Unit = synchronized {
     val txt = output_text(status, terminate = true)
     Output.delete_lines(Library.count_newlines(txt), stdout = !stderr)
   }