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); }
val = actor->get_property(prop); max_val = actor->get_property(prop_max);
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);	}}