--- a/src/Tools/jEdit/src/theories_dockable.scala Wed Mar 03 22:48:46 2021 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala Thu Mar 04 15:41:46 2021 +0100
@@ -159,11 +159,12 @@
(node_status.failed, PIDE.options.color_value("error_color"))
).filter(_._1 > 0)
- segments.foldLeft(size.width - 2)({ case (last, (n, color)) =>
- val w = (n * ((size.width - 4) - segments.length) / node_status.total) max 4
- paint_segment(last - w, w, color)
- last - w - 1
- })
+ segments.foldLeft(size.width - 2) {
+ case (last, (n, color)) =>
+ val w = (n * ((size.width - 4) - segments.length) / node_status.total) max 4
+ paint_segment(last - w, w, color)
+ last - w - 1
+ }
case None =>
paint_segment(0, size.width, PIDE.options.color_value("unprocessed1_color"))