* moved graph postprocessing to GraphController to avoid reprocessing on edge activation * animat sceneRect of the GraphView to avoid jump at end of animation
* moved graph postprocessing to GraphController to avoid reprocessing on edge activation * animat sceneRect of the GraphView to avoid jump at end of animation