on startup make sure we set the playing/selected source correctly so that clicking the toolbar playbutton doesnt start with a random track from the music library

Esse commit está contido em:
fossfreedom
2015-02-09 22:19:49 +00:00
commit 343a4e141f
2 arquivos alterados com 6 adições e 0 exclusões
+3
Ver Arquivo
@@ -265,6 +265,9 @@ class ExternalPluginMenu(GObject.Object):
gs = GSetting()
setting = gs.get_setting(gs.Path.PLUGIN)
setting[gs.PluginKey.VIEW_NAME] = view_name
player = self.shell.props.shell_player
player.set_selected_source(self.source.playlist_source)
GLib.idle_add(self.shell.props.display_page_tree.select,
self.source)
elif view_name == ListView.name:
+3
Ver Arquivo
@@ -112,6 +112,9 @@ class CoverArtPlaySource(RB.Source):
self.plugin = plugin
self.shell = shell
self.source = source
player = self.shell.props.shell_player
player.set_playing_source(self)
player.set_selected_source(self)
def do_selected(self):
'''