*/
std::string gui_property (const std::string& property_name) const;
+ void set_gui_property (const std::string& property_name, const char* value) {
+ property_hashtable.erase(property_name);
+ property_hashtable.emplace(property_name, value);
+ gui_object_state().set_property (state_id(), property_name, value);
+ }
+
+ void set_gui_property (const std::string& property_name, const std::string& value) {
+ set_gui_property (property_name, value.c_str());
+ }
+
template<typename T> void set_gui_property (const std::string& property_name, const T& value) {
- std::stringstream s;
- s << value;
property_hashtable.erase(property_name);
- property_hashtable.emplace(property_name, s.str());
+ property_hashtable.emplace(property_name, PBD::to_string(value));
gui_object_state().set_property<T> (state_id(), property_name, value);
}