From 4d06fbf4cb1e1bde91baa0ccef67a85f15a17c0c Mon Sep 17 00:00:00 2001
From: Ramakrishnan Muthukrishnan <ram@rkrishnan.org>
Date: Sun, 13 Nov 2022 13:44:21 +0530
Subject: [PATCH] enable MIDI only if devices are enumerated and user makes a
selection
This translates to `midi_device_name' to be non-null
---
midi_menu.c | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/midi_menu.c b/midi_menu.c
index 0d29db8..35bd822 100644
--- a/midi_menu.c
+++ b/midi_menu.c
@@ -126,10 +126,12 @@ static gboolean midi_enable_cb(GtkWidget *widget,gpointer data) {
}
midi_enabled=gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON (widget));
if(midi_enabled) {
- if(register_midi_device(midi_device_name)<0) {
- midi_enabled=FALSE;
- gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON (widget), midi_enabled);
- }
+ if (midi_device_name != NULL) {
+ if(register_midi_device(midi_device_name)<0) {
+ midi_enabled=FALSE;
+ gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON (widget), midi_enabled);
+ }
+ }
}
return TRUE;
}
--
2.45.2