mirror/mpdevil
1
0
Fork 0
mirror of https://github.com/SoongNoonien/mpdevil.git synced 2023-08-10 21:12:44 +03:00
Code Issues Projects Releases Wiki Activity

fixed "_on_show_audio_format_changed"

Browse Source
This commit is contained in:
Martin Wagner 2021-07-16 20:37:44 +02:00
parent 46f36f4a4a
commit ca39c3bed0
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
bin/mpdevil
View File

@ -3417,8 +3417,11 @@ class AudioFormat(Gtk.Box):
def _on_show_audio_format_changed(self, *args): def _on_show_audio_format_changed(self, *args):
visibility=(self._settings.get_boolean("show-audio-format") and not self._settings.get_property("mini-player")) 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)) self.set_property("no-show-all", not(visibility))
if visibility:
self.show_all()
else:
self.hide()
def _on_disconnected(self, *args): def _on_disconnected(self, *args):
self.set_sensitive(False) self.set_sensitive(False)