From b01632356daa5c7ab638b17c06d3903e2c95b856 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Tue, 4 May 2021 16:55:33 -0600
Subject: [PATCH] fix cast warning

---
 gtk2_ardour/rc_option_editor.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc
index e7f29dfcde..2908fe595a 100644
--- a/gtk2_ardour/rc_option_editor.cc
+++ b/gtk2_ardour/rc_option_editor.cc
@@ -4466,7 +4466,7 @@ bool
 RCOptionEditor::on_key_release_event (GdkEventKey* event)
 {
 	if (Keyboard::modifier_state_equals (event->state, Keyboard::close_window_modifier)) {
-		if (event->keyval == Keyboard::close_window_key) {
+		if (event->keyval == (guint) Keyboard::close_window_key) {
 			WindowProxy::hide ();
 			return true;
 		}