Diagram Editor: root diagram pane does not always update size correctly

[till-f]

E.g. after moving some contained elements (boxes) it remains too big until the view is panned

[slisson]

The size calculation happens in MyGraphComponent.getPreferredSize.