pothos-gui: formatting and display work on properties panel