void Stat_bar::update_widget()
void Portrait_button::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);}