diff options
Diffstat (limited to 'emulators/dosbox/files/patch-src_gui_sdlmain.cpp')
-rw-r--r-- | emulators/dosbox/files/patch-src_gui_sdlmain.cpp | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/emulators/dosbox/files/patch-src_gui_sdlmain.cpp b/emulators/dosbox/files/patch-src_gui_sdlmain.cpp deleted file mode 100644 index c70ff6adb774..000000000000 --- a/emulators/dosbox/files/patch-src_gui_sdlmain.cpp +++ /dev/null @@ -1,25 +0,0 @@ -*** src/gui/sdlmain.cpp.orig Mon Mar 6 03:02:24 2017 ---- src/gui/sdlmain.cpp Mon Mar 6 03:03:21 2017 -*************** -*** 1134,1143 **** - #endif - const char * gl_ext = (const char *)glGetString (GL_EXTENSIONS); - if(gl_ext && *gl_ext){ -! sdl.opengl.packed_pixel=(strstr(gl_ext,"EXT_packed_pixels") > 0); -! sdl.opengl.paletted_texture=(strstr(gl_ext,"EXT_paletted_texture") > 0); - #if defined(NVIDIA_PixelDataRange) -! sdl.opengl.pixel_data_range=(strstr(gl_ext,"GL_NV_pixel_data_range") >0 ) && - glPixelDataRangeNV && db_glAllocateMemoryNV && db_glFreeMemoryNV; - sdl.opengl.pixel_data_range = 0; - #endif ---- 1134,1143 ---- - #endif - const char * gl_ext = (const char *)glGetString (GL_EXTENSIONS); - if(gl_ext && *gl_ext){ -! sdl.opengl.packed_pixel=(strstr(gl_ext,"EXT_packed_pixels") != 0); -! sdl.opengl.paletted_texture=(strstr(gl_ext,"EXT_paletted_texture") != 0); - #if defined(NVIDIA_PixelDataRange) -! sdl.opengl.pixel_data_range=(strstr(gl_ext,"GL_NV_pixel_data_range") != 0 ) && - glPixelDataRangeNV && db_glAllocateMemoryNV && db_glFreeMemoryNV; - sdl.opengl.pixel_data_range = 0; - #endif |