Try to fix the non randomness of Windows dual splash screen behaviour.

diff --git a/synfig-studio/src/gtkmm/splash.cpp b/synfig-studio/src/gtkmm/splash.cpp
index b51500c..25a828e 100644 (file)
--- a/synfig-studio/src/gtkmm/splash.cpp
+++ b/synfig-studio/src/gtkmm/splash.cpp
@@ -78,8 +78,6 @@ using namespace studio;
 #      define IMAGE_EXT        "png"
 #endif
 
-#define NUMBER_OF_SPLASH_SCREEN 2
-
 /* === G L O B A L S ======================================================= */
 
 /* === P R O C E D U R E S ================================================= */
@@ -182,7 +180,10 @@ Splash::Splash():
        Gtk::Image* splash_image = manage(new class Gtk::Image());
        srand(time(NULL));
        const float ran = rand()/float(RAND_MAX);
-       int number =1+int(ran*(NUMBER_OF_SPLASH_SCREEN));
+       int number = 1;
+       if(ran >0.499999)
+               number = 2;
+       synfig::info("%s", strprintf("%d",number).c_str());
        splash_image->set(imagepath+"splash_screen"+strprintf("%d",number)+"."IMAGE_EXT);
        splash_image->set_alignment(0.5,0.5);
        splash_image->set_padding(0,0);