pothos-gui: tweaks to properties panel edit widgets