August 14, 2012: This is being fixed for 1.3.8 (being submitted tomorrow or Thursday, then 12 days to approval if all goes well).
Note: MIDI Designer will only keep auto-lock off if it is the foreground application.