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 playlist refresh error on profile switch

Browse Source
This commit is contained in:
Martin Wagner 2020-03-02 11:49:55 +01:00
parent 57437de15b
commit da1bb25d1d
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
bin/mpdevil.py
View File

@ -157,6 +157,7 @@ class MpdEventEmitter(GObject.Object):
except:
self.client.try_connect_default()
if self.client.connected():
self.emit("disconnected")
self.emit("reconnected")
self.connected=True
elif self.connected:
@ -753,6 +754,7 @@ class TrackView(Gtk.Box):
self.playlist_changed=self.emitter.connect("playlist", self.on_playlist_changed)
self.player_changed=self.emitter.connect("player", self.on_player_changed)
self.disconnected_signal=self.emitter.connect("disconnected", self.on_disconnected)
#packing
self.pack_start(cover_event_box, False, False, 0)
@ -922,6 +924,9 @@ class TrackView(Gtk.Box):
else:
self.refresh_selection()
def on_disconnected(self, *args):
self.playlist_version=None
class Browser(Gtk.Box):
def __init__(self, client, settings, emitter, window):
Gtk.Box.__init__(self, orientation=Gtk.Orientation.VERTICAL, spacing=4)