--- a/src/Pure/Thy/thy_resources.scala Sun Sep 09 13:48:20 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala Sun Sep 09 17:49:15 2018 +0200
@@ -270,9 +270,9 @@
(for {
(name, node_status) <- nodes_status1.present.iterator
if changed.nodes.contains(name) && !st.already_committed.isDefinedAt(name)
- percentage = Some(node_status.percentage)
- if percentage != st.nodes_status.get(name).map(_.percentage)
- } yield Progress.Theory(name.theory, percentage = percentage)).toList
+ p1 = node_status.percentage
+ if p1 > 0 && Some(p1) != st.nodes_status.get(name).map(_.percentage)
+ } yield Progress.Theory(name.theory, percentage = Some(p1))).toList
(theory_progress, st.update(nodes_status1))
})