void Stat_bar::paint ( Game_window *gwin )
void Portrait_button::paint(Game_window *gwin)
void Stat_bar::paint	(	Game_window *gwin	){	Gump_button::paint(gwin);	prev = actor->get_property(prop);	max_prev = actor->get_property(prop_max);	int width =  (prev * 32) / (max_prev);	if (width > 0)	{		int px = x;		int py = y;		if (parent)		{			px += parent->get_x();			py += parent->get_y();		}		if (width > 0) gwin->get_win()->fill8(colour, width, 3, px, py);	}}