tuned;
authorwenzelm
Wed Feb 27 14:22:00 2019 +0100 (3 months ago ago)
changeset 70024edda2d14c108
parent 70023 9a7f94ab4df9
child 70025 b21ddfa7042b
tuned;
src/Pure/PIDE/headless.scala
     1.1 --- a/src/Pure/PIDE/headless.scala	Mon Feb 25 11:38:35 2019 +0100
     1.2 +++ b/src/Pure/PIDE/headless.scala	Wed Feb 27 14:22:00 2019 +0100
     1.3 @@ -176,7 +176,7 @@
     1.4  
     1.5        val use_theories_state = Synchronized(Use_Theories_State())
     1.6  
     1.7 -      def check_result(beyond_limit: Boolean = false)
     1.8 +      def check_result_state(beyond_limit: Boolean = false)
     1.9        {
    1.10          val state = session.current_state()
    1.11          state.stable_tip_version match {
    1.12 @@ -195,7 +195,7 @@
    1.13              if (progress.stopped) use_theories_state.value.cancel_result
    1.14              else {
    1.15                check_count += 1
    1.16 -              check_result(check_limit > 0 && check_count > check_limit)
    1.17 +              check_result_state(check_limit > 0 && check_count > check_limit)
    1.18              }
    1.19            }
    1.20        }
    1.21 @@ -250,7 +250,7 @@
    1.22  
    1.23                theory_progress.foreach(progress.theory(_))
    1.24  
    1.25 -              check_result()
    1.26 +              check_result_state()
    1.27  
    1.28                if (commit.isDefined && commit_cleanup_delay > Time.zero) {
    1.29                  if (use_theories_state.value.finished_result)