Robin Berjon @robinberjon · 16 Dec 2010 Replying to @_richtr and @richtibbett My use case is: double click on MIDI file, open in my snazzy MIDI-editing extension. That's all!