| 655 | |
| 656 | |
| 657 | private void lateDrawNow(Box root) { |
| 658 | try { |
| 659 | insideDrawing = true; |
| 660 | root.find(lateDrawers, root.both()) |
| 661 | .collect(Collectors.toList()) |
| 662 | .stream() |
| 663 | .flatMap(x -> x.stream()).collect(Collectors.toList()) // avoid concurrent modification |
| 664 | .stream() |
| 665 | .forEach(x -> x.draw(this)); |
| 666 | } catch (Exception e) { |
| 667 | System.err.println(" exception thrown during drawing "); |
| 668 | e.printStackTrace(); |
| 669 | } finally { |
| 670 | insideDrawing = false; |
| 671 | } |
| 672 | } |
| 673 | |
| 674 | private void updateWindowSpaceBoxes(Vec2 t, Vec2 tn, Vec2 d, Vec2 dn, Vec2 s, Vec2 sn) { |
| 675 | this.breadthFirst(both()) |