src/share/bin/splashscreen.h

Print this page 

        
*** 27,31 ****
--- 27,34 ----
  int     DoSplashLoadMemory(void* pdata, int size); /* requires preloading the file */
  int     DoSplashLoadFile(const char* filename);
  void    DoSplashInit(void);
  void    DoSplashClose(void);
  void    DoSplashSetFileJarName(const char* fileName, const char* jarName);
+ void    DoSplashSetScaleFactor(float scaleFactor);
+ char*   DoSplashGetScaledImageName(const char* jarName, const char* fileName,
+                                     float* scaleFactor);