Merge pull request #78 from alphanu1/alphanu1-patch-73

cast float
This commit is contained in:
alphanu1 2018-07-08 19:19:40 +01:00 committed by GitHub
commit f25ef05d52
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -107,7 +107,7 @@ static void win32_display_server_destroy(void *data)
if (win32_orig_width > 0 && win32_orig_height > 0 )
video_display_server_switch_resolution(win32_orig_width, win32_orig_height,
win32_orig_refresh , win32_orig_refresh );
win32_orig_refresh , (float)win32_orig_refresh );
#ifdef HAS_TASKBAR_EXT
if (g_taskbarList && win32_taskbar_is_created())