Crash when changing MIDI device selection in Rig Manager

General discussion about Gig Performer
8

The Shift key is magical in the Gig Performer world: [blog] The Magic of the Shift key