< prev index next >
src/java.desktop/unix/native/libsplashscreen/splashscreen_sys.c
Print this page
*** 751,760 ****
--- 751,763 ----
SplashRemoveDecoration(splash);
XStoreName(splash->display, splash->window, "Java");
XMapRaised(splash->display, splash->window);
SplashUpdateShape(splash);
SplashRedrawWindow(splash);
+ //map the splash co-ordinates as per system scale
+ splash->x /= splash->scaleFactor;
+ splash->y /= splash->scaleFactor;
SplashEventLoop(splash);
}
SplashUnlock(splash);
SplashDone(splash);
*** 804,856 ****
{
*scaleFactor = 1;
#ifndef __linux__
return JNI_FALSE;
#endif
! *scaleFactor = getNativeScaleFactor();
! if (*scaleFactor == 2.0) {
! size_t length = 0;
! char *stringToAppend = ".java-scale2x";
! char *dupFileName = strdup(fileName);
! char *fileExtension = strrchr(dupFileName, '.');
! if (fileExtension == NULL) {
! length = strlen(dupFileName) + strlen(stringToAppend) + 1;
! if (length > scaledImageNameLength) {
! *scaleFactor = 1;
! free(dupFileName);
! return JNI_FALSE;
! }
! int retVal = snprintf(scaledImgName, length, "%s%s",
! dupFileName, stringToAppend);
! if (retVal < 0 || (retVal != length - 1)) {
! free(dupFileName);
! *scaleFactor = 1;
! return JNI_FALSE;
! }
! } else {
! int length_without_ext = fileExtension - dupFileName;
! length = length_without_ext +
! strlen(stringToAppend) + strlen(fileExtension) + 1;
! if (length > scaledImageNameLength) {
! *scaleFactor = 1;
! free(dupFileName);
! return JNI_FALSE;
! }
! int retVal = snprintf(scaledImgName, length, "%.*s%s%s",
! length_without_ext, dupFileName, stringToAppend, fileExtension);
! if (retVal < 0 || retVal != length - 1) {
! free(dupFileName);
! *scaleFactor = 1;
! return JNI_FALSE;
! }
! }
! free(dupFileName);
! FILE *fp;
! if (!(fp = fopen(scaledImgName, "r"))) {
! *scaleFactor = 1;
! return JNI_FALSE;
! }
! fclose(fp);
! return JNI_TRUE;
! }
! return JNI_FALSE;
}
--- 807,814 ----
{
*scaleFactor = 1;
#ifndef __linux__
return JNI_FALSE;
#endif
! *scaleFactor = getNativeScaleFactor(NULL);
! return GetScaledImageName(fileName, scaledImgName, scaleFactor, scaledImageNameLength);
}
< prev index next >