pothos-gui: tweaks to getPropertyDisplayText