void panel_scale()
{
	splash.pos_x = splash.pos_y = 0;
	splash.scale_x = screen_size.x / splash.bmap.width;
	splash.scale_y = screen_size.y / splash.bmap.height;
}


void main ()
{
	...
	video_set(...); // this is where you change your resolution
	panel_scale(); // now correct the size
}