2021-06-29 11:22:10 -04:00
|
|
|
# Copyright 2021 (c) Anna Schumaker.
|
2021-11-22 11:33:20 -05:00
|
|
|
import audio
|
2021-11-13 22:07:18 -05:00
|
|
|
from gi.repository import Gtk
|
2021-10-30 16:28:32 -04:00
|
|
|
from . import footer
|
|
|
|
from . import header
|
|
|
|
from . import view
|
2021-06-29 11:22:10 -04:00
|
|
|
|
2021-10-30 16:28:32 -04:00
|
|
|
class Panel(Gtk.Box):
|
|
|
|
def __init__(self):
|
|
|
|
Gtk.Box.__init__(self)
|
|
|
|
self.set_orientation(Gtk.Orientation.VERTICAL)
|
|
|
|
self.header = header.Header()
|
|
|
|
self.window = view.PlaylistWindow()
|
|
|
|
self.footer = footer.Footer(self.window.get_filter_model())
|
|
|
|
|
|
|
|
self.append(self.header)
|
|
|
|
self.append(Gtk.Separator.new(Gtk.Orientation.HORIZONTAL))
|
|
|
|
self.append(self.window)
|
|
|
|
self.append(Gtk.Separator.new(Gtk.Orientation.HORIZONTAL))
|
|
|
|
self.append(self.footer)
|
|
|
|
|
2021-11-22 11:33:20 -05:00
|
|
|
self.header.get_jump_button().connect("clicked", self.jump_clicked)
|
|
|
|
|
2021-10-30 16:28:32 -04:00
|
|
|
def get_playlist(self): return self.window.get_playlist()
|
|
|
|
def set_playlist(self, plist):
|
|
|
|
self.header.set_playlist(plist)
|
|
|
|
self.window.set_playlist(plist)
|
2021-11-22 11:33:20 -05:00
|
|
|
|
|
|
|
def jump_clicked(self, button):
|
|
|
|
view = self.window.get_child()
|
|
|
|
view.track_changed(audio.Player, None, audio.Player.track)
|
2021-12-05 12:05:33 -05:00
|
|
|
|
|
|
|
def selected_tracks(self):
|
|
|
|
for track in self.window.selected_tracks():
|
|
|
|
yield track
|