-
- void set_gui_property (const std::string& property_name, const std::string& value);
- void set_gui_property (const std::string& property_name, int value);
- void set_gui_property (const std::string& property_name, double value);
+
+ template<typename T> void set_gui_property (const std::string& property_name, const T& value) {
+ gui_object_state().set_property<T> (state_id(), property_name, value);
+ }