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