--- a/src/Pure/PIDE/headless.scala Sun Sep 15 14:01:38 2019 +0200
+++ b/src/Pure/PIDE/headless.scala Sun Sep 15 14:01:57 2019 +0200
@@ -319,7 +319,10 @@
val delay_commit_clean =
Standard_Thread.delay_first(commit_cleanup_delay max Time.zero) {
val clean_theories = use_theories_state.change_result(_.clean_theories)
- if (clean_theories.nonEmpty) resources.clean_theories(session, id, clean_theories)
+ if (clean_theories.nonEmpty) {
+ progress.echo("Removing " + clean_theories.length + " theories ...")
+ resources.clean_theories(session, id, clean_theories)
+ }
}
Session.Consumer[Session.Commands_Changed](getClass.getName) {