if (hp)	hp->update_widget(gwin); if (mana) mana->update_widget(gwin);
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);}