pothos-gui: resize event for graph display widget