GNMIDI

Table of Contents Keyword Index
Backward/Forward MIDI Player commands
Previous  Top  Next

[in menu Player]

While a song is played by internal MIDI player this operations are available.

Backward
continues to play 15 seconds before current song position  
 
Forward
continues to play 15 seconds later after current song position  

Both commands are available in player status dialog.

With following gnmidi.ini setting the skip time could be changed
[Settings]
SkipSeconds=15