+
+ void set_gui_property (const std::string& property_name, const std::string& value);
+
+ void set_gui_property (const std::string& property_name, const char* value) {
+ set_gui_property (property_name, std::string(value));
+ }
+
+ template <typename T>
+ void set_gui_property (const std::string& property_name, const T& value)
+ {
+ set_gui_property (property_name, PBD::to_string(value));