if (val != actor->get_effective_prop(prop) || max_val != actor->get_effective_prop(prop_max)) gwin->add_dirty(get_rect());
Face_button::update_widget(); if (hp)	hp->update_widget(); if (mana) mana->update_widget();
void Stat_bar::update_widget(){	if (val != actor->get_effective_prop(prop) || max_val != actor->get_effective_prop(prop_max))		gwin->add_dirty(get_rect());	val = actor->get_effective_prop(prop);	max_val = actor->get_effective_prop(prop_max);}