777 
 778 void
 779 SplashUnlock(Splash * splash) {
 780     pthread_mutex_unlock(&splash->lock);
 781 }
 782 
 783 void
 784 SplashClosePlatform(Splash * splash) {
 785     sendctl(splash, SPLASHCTL_QUIT);
 786 }
 787 
 788 void
 789 SplashUpdate(Splash * splash) {
 790     sendctl(splash, SPLASHCTL_UPDATE);
 791 }
 792 
 793 void
 794 SplashReconfigure(Splash * splash) {
 795     sendctl(splash, SPLASHCTL_RECONFIGURE);
 796 }

 777 
 778 void
 779 SplashUnlock(Splash * splash) {
 780     pthread_mutex_unlock(&splash->lock);
 781 }
 782 
 783 void
 784 SplashClosePlatform(Splash * splash) {
 785     sendctl(splash, SPLASHCTL_QUIT);
 786 }
 787 
 788 void
 789 SplashUpdate(Splash * splash) {
 790     sendctl(splash, SPLASHCTL_UPDATE);
 791 }
 792 
 793 void
 794 SplashReconfigure(Splash * splash) {
 795     sendctl(splash, SPLASHCTL_RECONFIGURE);
 796 }
 797 
 798 SPLASHEXPORT char*

 799 SplashGetScaledImageName(const char* jarName, const char* fileName,

 800                            float *scaleFactor)

 801 {

 802     *scaleFactor=1;

 803     return NULL;

 804 }