diff -ur gnome-session-2.8.1/gnome-session/manager.c gnome-session-2.8.1-splashhide/gnome-session/manager.c --- gnome-session-2.8.1/gnome-session/manager.c 2004-10-01 18:13:23.000000000 +0800 +++ gnome-session-2.8.1-splashhide/gnome-session/manager.c 2004-11-25 12:19:03.377269296 +0800 @@ -1380,8 +1380,10 @@ if (pending_list) runlevel = client->priority; } - if (pending_list) + if (pending_list) { + splash_hide(); goto out; + } } save_state = MANAGER_IDLE; save_state_changed (); diff -ur gnome-session-2.8.1/gnome-session/splash-widget.c gnome-session-2.8.1-splashhide/gnome-session/splash-widget.c --- gnome-session-2.8.1/gnome-session/splash-widget.c 2004-09-25 00:35:38.000000000 +0800 +++ gnome-session-2.8.1-splashhide/gnome-session/splash-widget.c 2004-11-25 12:17:34.346803984 +0800 @@ -605,3 +605,11 @@ } } +void +splash_hide (void) +{ + if(global_splash) { + gtk_widget_hide (GTK_WIDGET (global_splash)); + } +} + diff -ur gnome-session-2.8.1/gnome-session/splash-widget.h gnome-session-2.8.1-splashhide/gnome-session/splash-widget.h --- gnome-session-2.8.1/gnome-session/splash-widget.h 2003-02-14 06:29:57.000000000 +0800 +++ gnome-session-2.8.1-splashhide/gnome-session/splash-widget.h 2004-11-25 12:16:49.267657056 +0800 @@ -79,5 +79,6 @@ void splash_start (void); void splash_update (const gchar *text); void splash_stop (void); +void splash_hide (void); #endif /* SPLASH_WIDGET_H */