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

added workaround for Gtk bug

Browse Source
This commit is contained in:
Martin Wagner 2022-04-09 11:35:30 +02:00
parent e328a48af0
commit aacf27ccb0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/mpdevil.py
View File

@ -2736,6 +2736,7 @@ class PlaylistWindow(Gtk.Overlay):
if self._treeview.get_property("selected-path") is not None: if self._treeview.get_property("selected-path") is not None:
self._treeview.get_selection().select_path(self._treeview.get_property("selected-path")) self._treeview.get_selection().select_path(self._treeview.get_property("selected-path"))
self._treeview.scroll_to_selected_title() self._treeview.scroll_to_selected_title()
self._back_button_revealer.set_reveal_child(False) # workaround for Gtk bug in _on_show_hide_back_button
#################### ####################
# cover and lyrics # # cover and lyrics #