From fd5f8c0ee13360e196a6a5e01046c8a65cfda69d Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 8 Apr 2024 15:06:29 +0200
Subject: [PATCH] fb_sdl: filter key-repeat events (fixes #5172)

---
 repos/os/src/drivers/framebuffer/sdl/main.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/os/src/drivers/framebuffer/sdl/main.cc b/repos/os/src/drivers/framebuffer/sdl/main.cc
index 9e509de60f..ce90bb9489 100644
--- a/repos/os/src/drivers/framebuffer/sdl/main.cc
+++ b/repos/os/src/drivers/framebuffer/sdl/main.cc
@@ -276,6 +276,10 @@ void Fb_sdl::Main::_handle_sdl_event(Event_batch &batch, SDL_Event const &event)
 	case SDL_KEYUP:
 	case SDL_KEYDOWN:
 
+		/* filter key-repeat events */
+		if (event.key.repeat)
+			return;
+
 		keycode = convert_keycode(event.key.keysym.sym);
 		break;