void fgSplashUpdate ( float alpha ) {
int screen_width = fgGetInt("/sim/startup/xsize", 0);
int screen_height = fgGetInt("/sim/startup/ysize", 0);
void fgSplashUpdate ( float alpha ) {
int screen_width = fgGetInt("/sim/startup/xsize", 0);
int screen_height = fgGetInt("/sim/startup/ysize", 0);