[in menu Convert]
This operation tries to compress your MIDI file. The compression does not change your MIDI song content, it only stores the data more compact if possible. After compression some statistics on compression are displayed. The compression ratio depends on input, the results can be 10%-15% smaller than original file size.
A compressed file can't be compressed again, in this case the operation will tell