Make it possible to stop playback

2016-06-09 17:53:56 +02:00 · 2016-06-09 17:53:56 +02:00 · 91afc2def3
parent 282e7cefe6
commit 91afc2def3
1 changed files with 3 additions and 0 deletions
--- a/git-sound.py
+++ b/git-sound.py
@ -360,6 +360,9 @@ class GitMIDI(MIDIFile):

            self.__playing = False

+    def stop(self):
+        self.mixer.music.stop()
+
    def get_play_pos(self):
        if not self.__playing:
            return None