From 7bf5e08d43999f99e2ee1c417897cecd9670b363 Mon Sep 17 00:00:00 2001 From: Gergely Polonkai Date: Mon, 13 Jun 2016 12:54:13 +0200 Subject: [PATCH] Stop MIDI playback if settings are changed --- git_sound/gui.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/git_sound/gui.py b/git_sound/gui.py index 7fd5593..6c7eed5 100644 --- a/git_sound/gui.py +++ b/git_sound/gui.py @@ -125,9 +125,9 @@ class GitSoundWindow(object): (repository, branch, scale or program). """ + self.stop_midi() self.gitmidi = None self.set_buttons_sensitivity() - self.stop_midi() def set_buttons_sensitivity(self, disable_all=False): """