fix dot layout when children are deleted

closes PR 14718
2014-09-01 04:11:09 -05:00 · 2014-09-01 04:11:09 -05:00 · 854e9a997a
commit 854e9a997a
parent b3b9eb0eb4
1 changed files with 4 additions and 2 deletions
--- a/pkgs/gui-pkgs/gui-lib/mrlib/private/dot.rkt
+++ b/pkgs/gui-pkgs/gui-lib/mrlib/private/dot.rkt
@ -86,8 +86,10 @@
                     snip
                     (- (unbox rb) (unbox lb))
                     (- (unbox bb) (unbox tb))
-                     (map (λ (c) (hash-ref num-ht c))
-                          (send snip get-children))))))
+                     (filter
+                      values
+                      (map (λ (c) (hash-ref num-ht c #f))
+                           (send snip get-children)))))))
      children-ht)))

 ;; run-dot : hash-table[snip -> (list i (listof number))] string -> void