From af1c9658310be641d63466399a760eeaf3e779d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Sat, 18 Nov 2017 23:19:21 +0100
Subject: [PATCH] sdl: forcefully disable double-buffering

Issue #2583.
---
 .../libports/src/lib/sdl/video/SDL_genode_fb_video.cc  | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc b/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
index 22c0eafaeb..43cb08cf6f 100644
--- a/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
+++ b/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
@@ -450,6 +450,16 @@ extern "C" {
 			return nullptr;
 		}
 
+		/*
+		 * XXX there is something wrong with how this is used now.
+		 *     SDL_Flip() is going to call FlipHWSurface which was never
+		 *     implemented and leads to a nullptr function call.
+		 */
+		if (flags & SDL_DOUBLEBUF) {
+			Genode::warning("disable requested double-buffering");
+			flags &= ~SDL_DOUBLEBUF;
+		}
+
 		/* Map the buffer */
 		Genode::Dataspace_capability fb_ds_cap = framebuffer->dataspace();
 		if (!fb_ds_cap.valid()) {