src/Tools/jEdit/src/document_dockable.scala

   }
 
   private def finish_process(output: XML.Body): Unit =
     current_state.change(_.finish(output))
 
-  private def run_process(only_running: Boolean = false)(body: Log_Progress => Unit): Boolean = {
+  private def run_process(body: Log_Progress => Unit): Boolean = {
     val started =
       current_state.change_result { st =>
         if (st.process.is_finished) {
           st.progress.stop()
           val progress = new Log_Progress

     started
   }
 
   private def load_document(session: String): Boolean = {
     val options = PIDE.options.value
-    run_process() { _ =>
+    run_process { _ =>
       try {
         val session_background =
           Document_Build.session_background(
             options, session, dirs = JEdit_Sessions.session_dirs)
         PIDE.editor.document_setup(Some(session_background))

   private def document_build_attempt(): Boolean = {
     val document_session = PIDE.editor.document_session()
     if (document_session.is_vacuous) true
     else if (document_session.is_pending) false
     else {
-      run_process(only_running = true) { progress =>
+      run_process { progress =>
         show_page(output_page)
         val result = Exn.capture { document_build(document_session, progress) }
         val msgs =
           result match {
             case Exn.Res(_) =>