pothos-gui: ok/cancel buttons for properties panel