enable MIDI only if devices are enumerated and user makes a selection
authorRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Sun, 13 Nov 2022 08:14:21 +0000 (13:44 +0530)
committerRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Sun, 13 Nov 2022 08:14:21 +0000 (13:44 +0530)
commit4d06fbf4cb1e1bde91baa0ccef67a85f15a17c0c
tree22be0df1f559bb3909fa4b63d93855a1c757b6a5
parent8f6c90f9d32d64a670069853019e7be70da486c3
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