1
--- xfce4-session/xfce4-session/main.c.orig 2006-11-04 19:42:52.000000000 +0100
2
+++ xfce4-session/xfce4-session/main.c 2006-12-18 10:52:41.000000000 +0100
4
#include <xfce4-session/xfsm-manager.h>
5
#include <xfce4-session/xfsm-startup.h>
7
+#define DEFAULT_SPLASH_ENGINE "mice"
10
setup_environment (void)
14
xfce_rc_set_group (rc, "Splash Screen");
15
- engine = xfce_rc_read_entry (rc, "Engine", NULL);
16
+ engine = xfce_rc_read_entry (rc, "Engine", DEFAULT_SPLASH_ENGINE);
18
splash_screen = xfsm_splash_screen_new (dpy, engine);
19
xfsm_splash_screen_next (splash_screen, _("Loading desktop settings"));
20
--- xfce4-session/xfce4-session.rc.orig 2006-11-04 19:42:56.000000000 +0100
21
+++ xfce4-session/xfce4-session.rc 2006-12-18 11:58:25.000000000 +0100
23
Client2_PerScreen=False
24
Client3_Command=xfdesktop
25
Client3_PerScreen=False
28
-# Default splash screen selection.