Graph.save() not working with GraphView and filtered Graphs
I've stumbled across a problem, namely, that the method Graph.save() is not working properly with GraphView and Graphs filtered with Graph.set_edge_filter(). Its caused by the fact that they add a property (e.g._Graph__save__vfilter,_Graph__save__efilter) which corrupts the dot-File (See attachment).fw_residual_graph.dot
Maybe it can be fixed by automatically evaluating and excluding the property within the save() method ?
Kind regards, Aljoscha