pothos-gui: properties panel support for graph widget