- virtual void set_marked_for_display (bool yn) {
- if (yn != _marked_for_display) {
- _marked_for_display = yn;
- }
- }
+ virtual std::string state_id() const = 0;
+ /* for now, we always return properties in string form.
+ */
+ std::string gui_property (const std::string& property_name) const;