Re: [graph-tool] Animations with graph-tool