From cc611834c9dcc3749fb200dd6675d2fb9eff93d6 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 10 Sep 2019 14:54:14 +0200
Subject: [PATCH] input: repeat events require valid codepoints

Issue #3483
---
 repos/os/include/input/event.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/include/input/event.h b/repos/os/include/input/event.h
index 393c8ec18..3cf00a6d8 100644
--- a/repos/os/include/input/event.h
+++ b/repos/os/include/input/event.h
@@ -141,7 +141,7 @@ class Input::Event
 		template <typename FN>
 		void handle_repeat(FN const &fn) const
 		{
-			if (key_press(KEY_UNKNOWN) && _attr.press.codepoint.value)
+			if (key_press(KEY_UNKNOWN) && _attr.press.codepoint.valid())
 				fn(_attr.press.codepoint);
 		}