From ca39c3bed036f93bff82dad964a888b3a213ff9e Mon Sep 17 00:00:00 2001 From: Martin Wagner Date: Fri, 16 Jul 2021 20:37:44 +0200 Subject: [PATCH] fixed "_on_show_audio_format_changed" --- bin/mpdevil | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bin/mpdevil b/bin/mpdevil index 07f0fe2..593eabf 100755 --- a/bin/mpdevil +++ b/bin/mpdevil @@ -3417,8 +3417,11 @@ class AudioFormat(Gtk.Box): def _on_show_audio_format_changed(self, *args): visibility=(self._settings.get_boolean("show-audio-format") and not self._settings.get_property("mini-player")) - self.set_property("visible", visibility) self.set_property("no-show-all", not(visibility)) + if visibility: + self.show_all() + else: + self.hide() def _on_disconnected(self, *args): self.set_sensitive(False)