From 8b10b0dab6dd688785c3af1bfb0d5395b6214f0f Mon Sep 17 00:00:00 2001
From: Thomas White <taw@physics.org>
Date: Thu, 9 Jun 2022 22:34:52 +0200
Subject: Fixture display: press F5 to disconnect (and reconnect)

Useful after patching a new fixture
---
 src/starlet-fixture-display.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/starlet-fixture-display.c b/src/starlet-fixture-display.c
index 22ee6cb..e8fb4d6 100644
--- a/src/starlet-fixture-display.c
+++ b/src/starlet-fixture-display.c
@@ -348,6 +348,10 @@ static gboolean key_press_sig(GtkWidget *da, GdkEventKey *event, struct fixture_
 		repl_send(fixd->repl, "(back! pb)");
 		break;
 
+		case GDK_KEY_F5 :
+		repl_send(fixd->repl, "(exit)");
+		break;
+
 		default :
 		claim = 0;
 		break;
-- 
cgit v1.2.3