Re: [graph-tool] Cannot access vertices of a GraphView