I'm writing a simple MIDI player (which I might eventually turn into a editor, if I feel ambitious). To that end, I've been futzing around with the pygame.mixer and pygame.mixer.music modules. I can get MIDI files to play, but I would also like to be able to grab and display their lengths (in minutes and seconds) upon loading them. Can this be done within pygame? Does anyone out there know?
I know you can use get_length() on Sound objects, but so far I have been unable to coax the mixer into converting MIDI files into Sound objects (probably because they really aren't sounds, at all). Am I barking up the wrong tree, here?
Thanks in advance.