diff options
author | Thomas White <taw@physics.org> | 2022-06-09 22:34:52 +0200 |
---|---|---|
committer | Thomas White <taw@physics.org> | 2022-06-09 22:34:52 +0200 |
commit | 8b10b0dab6dd688785c3af1bfb0d5395b6214f0f (patch) | |
tree | 7ce9b58be6783790ac2b75b010a2c7004da5df04 /src/starlet-fixture-display.c | |
parent | 54199745090a87008173072f4050c14e6fff35a0 (diff) |
Fixture display: press F5 to disconnect (and reconnect)
Useful after patching a new fixture
Diffstat (limited to 'src/starlet-fixture-display.c')
-rw-r--r-- | src/starlet-fixture-display.c | 4 |
1 files changed, 4 insertions, 0 deletions
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; |