src/Tools/jEdit/src/jedit_sessions.scala

 
   def session_name(): String = session_info().name
 
   def session_build_mode(): String = Isabelle_System.getenv("JEDIT_BUILD_MODE")
 
-  def session_build(progress: Progress = Ignore_Progress, no_build: Boolean = false): Int =
+  def session_build(progress: Progress = No_Progress, no_build: Boolean = false): Int =
   {
     val mode = session_build_mode()
 
     Build.build(options = session_options(), progress = progress,
       build_heap = true, no_build = no_build, system_mode = mode == "" || mode == "system",