# HG changeset patch
# User wenzelm
# Date 1420404785 -3600
# Node ID fecf1d5a2454c6c6da98543dcb83df86d524c7cf
# Parent  03aedb32a763d7ecb62f6f172e804b4a102347e9
tuned;

diff -r 03aedb32a763 -r fecf1d5a2454 src/Tools/Graphview/layout.scala
--- a/src/Tools/Graphview/layout.scala	Sun Jan 04 21:29:52 2015 +0100
+++ b/src/Tools/Graphview/layout.scala	Sun Jan 04 21:53:05 2015 +0100
@@ -272,11 +272,11 @@
       math.abs(right(coords) - to.right(coords))
 
     def deflection(coords: Coordinates, top_down: Boolean): Double =
-      (for {
-        k <- nodes.iterator
-        x = coords(k).x
-        as = if (top_down) graph.imm_preds(k) else graph.imm_succs(k)
-      } yield as.iterator.map(coords(_).x - x).sum / (as.size max 1)).sum / nodes.length
+      (for (a <- nodes.iterator) yield {
+        val x = coords(a).x
+        val bs = if (top_down) graph.imm_preds(a) else graph.imm_succs(a)
+        bs.iterator.map(coords(_).x - x).sum / (bs.size max 1)
+      }).sum / nodes.length
 
     def move(coords: Coordinates, dx: Double): Coordinates =
       (coords /: nodes) {