Re: [graph-tool] Customizing mouse functionality