virtual bool set_marked_for_display (bool);
static GUIObjectState& gui_object_state();
void clear_property_cache() { property_hashtable.clear(); }
virtual bool set_marked_for_display (bool);
static GUIObjectState& gui_object_state();
void clear_property_cache() { property_hashtable.clear(); }