private static void WriteSplashScreen(string msg) { if (s_splashScreen != null) { // Set the splash screen message s_splashScreen.Message = msg; s_splashScreen.Refresh(); } }