pothos-gui: update on properties changes