pothos-gui: tweaks to properties panel edit widgets
Merge branch 'master' into widget_support