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

use a better icon for playlists management

Browse Source
This commit is contained in:
Martin Wagner 2022-02-18 23:36:14 +01:00
parent ed41297dee
commit 0d95fc6ee0
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/mpdevil.py
View File

@ -2592,20 +2592,14 @@ class PlaylistWindow(Gtk.Overlay):
) )
self._treeview=PlaylistView(client, settings) self._treeview=PlaylistView(client, settings)
scroll=Gtk.ScrolledWindow(child=self._treeview) scroll=Gtk.ScrolledWindow(child=self._treeview)
self.popover_button=Gtk.Button(image=AutoSizedIcon("view-list-symbolic", "icon-size", settings),
# test
self.popover_button=Gtk.Button(image=Gtk.Image.new_from_icon_name("pan-up-symbolic", Gtk.IconSize.BUTTON),
tooltip_text=_("Playlists management"), can_focus=False) tooltip_text=_("Playlists management"), can_focus=False)
provider=Gtk.CssProvider()
css=b"""* {min-width: 8px;}""" # allow further shrinking
provider.load_from_data(css)
self.popover_button.get_style_context().add_provider(provider, 600)
popover=PlaylistPopover(client, self._treeview.label) popover=PlaylistPopover(client, self._treeview.label)
popover.set_relative_to(self.popover_button) popover.set_relative_to(self.popover_button)
self.popover_button.connect("clicked", popover.open)
# connect # connect
self._back_to_current_song_button.connect("clicked", self._on_back_to_current_song_button_clicked) self._back_to_current_song_button.connect("clicked", self._on_back_to_current_song_button_clicked)
self.popover_button.connect("clicked", popover.open)
scroll.get_vadjustment().connect("value-changed", self._on_show_hide_back_button) scroll.get_vadjustment().connect("value-changed", self._on_show_hide_back_button)
self._treeview.connect("notify::selected-path", self._on_show_hide_back_button) self._treeview.connect("notify::selected-path", self._on_show_hide_back_button)
settings.bind("mini-player", self, "no-show-all", Gio.SettingsBindFlags.GET) settings.bind("mini-player", self, "no-show-all", Gio.SettingsBindFlags.GET)