Re: [graph-tool] Save the graph after manipulating in the interactive window