Face_button::update_widget(gwin); if (hp)	hp->update_widget(gwin); if (mana) mana->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);	if (hit != actor->was_hit() ||		pois != actor->get_flag(Obj_flags::poisoned) ||		prot != actor->get_flag(Obj_flags::protection))	{		Rectangle r = get_rect();		gwin->add_dirty(r);		hit = actor->was_hit();		pois = actor->get_flag(Obj_flags::poisoned);		prot = actor->get_flag(Obj_flags::protection);		r = get_rect();		gwin->add_dirty(r);	}}