Re: [graph-tool] Controlling vertex labels in GraphWidget