--- a/src/Tools/jEdit/src/timing_dockable.scala Wed Jan 07 18:09:11 2015 +0100
+++ b/src/Tools/jEdit/src/timing_dockable.scala Thu Jan 08 20:56:39 2015 +0100
@@ -161,7 +161,7 @@
val timing = nodes_timing.getOrElse(name, Protocol.empty_node_timing)
val theories =
- (for ((node_name, node_timing) <- nodes_timing.toList if !node_timing.commands.isEmpty)
+ (for ((node_name, node_timing) <- nodes_timing.toList if node_timing.commands.nonEmpty)
yield Theory_Entry(node_name, node_timing.total, false)).sorted(Entry.Ordering)
val commands =
(for ((command, command_timing) <- timing.commands.toList)