Re: [graph-tool] Button listeners - a simple way to do it