I’ve added a settings window. You can now select your preferred microphone, MIDI and you can refresh devices if you’ve connected a new one. Also the keyboard shortcut list is displayed here. Settings is accessible from both the toolbar or the File dropdown