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

allow further shrinking of playlist action bar

Browse Source
This commit is contained in:
Martin Wagner 2020-08-18 16:51:29 +02:00
parent 576c50e882
commit d23eee9bc5
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
bin/mpdevil.py
View File

@ -2209,14 +2209,21 @@ class PlaylistView(Gtk.Box):
for data in icons_data: for data in icons_data:
self.icons[data]=PixelSizedIcon(data, self.icon_size) self.icons[data]=PixelSizedIcon(data, self.icon_size)
provider=Gtk.CssProvider()
css=b"""* {min-height: 8px;}""" # allow further shrinking
provider.load_from_data(css)
self.back_to_song_button=Gtk.Button(image=self.icons["go-previous-symbolic"]) self.back_to_song_button=Gtk.Button(image=self.icons["go-previous-symbolic"])
self.back_to_song_button.set_tooltip_text(_("Scroll to current song")) self.back_to_song_button.set_tooltip_text(_("Scroll to current song"))
self.back_to_song_button.set_relief(Gtk.ReliefStyle.NONE) self.back_to_song_button.set_relief(Gtk.ReliefStyle.NONE)
style_context=self.back_to_song_button.get_style_context()
style_context.add_provider(provider, 800)
self.clear_button=Gtk.Button(image=self.icons["edit-clear-symbolic"]) self.clear_button=Gtk.Button(image=self.icons["edit-clear-symbolic"])
self.clear_button.set_tooltip_text(_("Clear playlist")) self.clear_button.set_tooltip_text(_("Clear playlist"))
self.clear_button.set_relief(Gtk.ReliefStyle.NONE) self.clear_button.set_relief(Gtk.ReliefStyle.NONE)
style_context=self.clear_button.get_style_context() style_context=self.clear_button.get_style_context()
style_context.add_class("destructive-action") style_context.add_class("destructive-action")
style_context.add_provider(provider, 800)
# Store # Store
# (track, disc, title, artist, album, duration, date, genre, file, weight) # (track, disc, title, artist, album, duration, date, genre, file, weight)