pothos-gui: work on properties panel buttons