GNMIDI

Table of Contents Keyword Index
Play MIDI with favourite MIDI player
Previous  Top  Next

toolplayextern
[in menu Player]

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.