@@ -27,5 +27,8 @@ 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);