Re: [graph-tool] vertex_size with GraphView