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

fixed button packing issue

Browse Source
This commit is contained in:
Martin Wagner 2021-04-24 11:42:35 +02:00
parent 87786099ea
commit 3bdf185788
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
bin/mpdevil
View File

@ -3206,10 +3206,10 @@ class PlaybackControl(Gtk.ButtonBox):
self._client.emitter.connect("disconnected", self._on_disconnected)
# packing
self.pack_start(self._prev_button, False, False, 0)
self.pack_start(self._play_button, False, False, 0)
self.pack_start(self._stop_button, False, False, 0)
self.pack_start(self._next_button, False, False, 0)
self.pack_start(self._prev_button, True, True, 0)
self.pack_start(self._play_button, True, True, 0)
self.pack_start(self._stop_button, True, True, 0)
self.pack_start(self._next_button, True, True, 0)
def _refresh_tooltips(self, *args):
try:
@ -3452,7 +3452,7 @@ class PlaybackOptions(Gtk.ButtonBox):
for name, icon, tooltip in data:
button=Gtk.ToggleButton(image=AutoSizedIcon(icon, "icon-size", self._settings), tooltip_text=tooltip, can_focus=False)
handler=button.connect("toggled", self._set_option, name)
self.pack_start(button, False, False, 0)
self.pack_start(button, True, True, 0)
self._buttons[name]=(button, handler)
# css