38 lines
887 B
Diff
38 lines
887 B
Diff
|
--- gnome-session-2.11.90/gnome-session/manager.c
|
||
|
+++ gnome-session-2.11.90/gnome-session/manager.c
|
||
|
@@ -1381,8 +1381,10 @@
|
||
|
if (pending_list)
|
||
|
runlevel = client->priority;
|
||
|
}
|
||
|
- if (pending_list)
|
||
|
+ if (pending_list) {
|
||
|
+ splash_hide();
|
||
|
goto out;
|
||
|
+ }
|
||
|
}
|
||
|
save_state = MANAGER_IDLE;
|
||
|
save_state_changed ();
|
||
|
--- gnome-session-2.11.90/gnome-session/splash-widget.c
|
||
|
+++ gnome-session-2.11.90/gnome-session/splash-widget.c
|
||
|
@@ -604,3 +604,11 @@
|
||
|
}
|
||
|
}
|
||
|
|
||
|
+void
|
||
|
+splash_hide (void)
|
||
|
+{
|
||
|
+ if (global_splash) {
|
||
|
+ gtk_widget_hide (GTK_WIDGET (global_splash));
|
||
|
+ }
|
||
|
+}
|
||
|
+
|
||
|
--- gnome-session-2.11.90/gnome-session/splash-widget.h
|
||
|
+++ gnome-session-2.11.90/gnome-session/splash-widget.h
|
||
|
@@ -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 */
|