gergely/git-sound
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Stop MIDI playback if settings are changed

Browse Source
This commit is contained in:
Gergely Polonkai 2016-06-13 12:54:13 +02:00
parent 50f3507cc7
commit 7bf5e08d43
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
git_sound/gui.py
View File

@ -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):
"""