--- a/src/Pure/PIDE/headless.scala Sat Apr 04 21:38:20 2020 +0200
+++ b/src/Pure/PIDE/headless.scala Sun Apr 05 13:05:40 2020 +0200
@@ -304,12 +304,12 @@
val consumer =
{
val delay_nodes_status =
- Standard_Thread.delay_first(nodes_status_delay max Time.zero) {
+ Isabelle_Thread.delay_first(nodes_status_delay max Time.zero) {
progress.nodes_status(use_theories_state.value.nodes_status)
}
val delay_commit_clean =
- Standard_Thread.delay_first(commit_cleanup_delay max Time.zero) {
+ Isabelle_Thread.delay_first(commit_cleanup_delay max Time.zero) {
val clean_theories = use_theories_state.change_result(_.clean_theories)
if (clean_theories.nonEmpty) {
progress.echo("Removing " + clean_theories.length + " theories ...")