GNMIDI

Table of Contents Keyword Index

Play MIDI with favourite MIDI player
Previous  Top  Next

toolplayextern
This operation starts the application that is associated with the file extension of current MIDI file (usually .mid, could also be .kar). It automatically adds the full location and name of current MIDI document as first parameter.

Applications can be associated to file extensions with help of Windows Explorer.

The external player can be started with Ctrl+Space key.