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