pothos-gui: property edit widget now in a class