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 maximize

Browse Source
This commit is contained in:
Martin Wagner 2022-11-23 18:49:34 +01:00
parent da14ac2ef6
commit f859a08a5f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/mpdevil.py
View File

@ -3270,7 +3270,6 @@ class MainWindow(Gtk.ApplicationWindow):
self._client.emitter.connect("connection_error", self._on_connection_error) self._client.emitter.connect("connection_error", self._on_connection_error)
# auto save window state and size # auto save window state and size
self.connect("size-allocate", self._on_size_allocate) self.connect("size-allocate", self._on_size_allocate)
self._settings.bind("maximize", self, "is-maximized", Gio.SettingsBindFlags.SET)
# packing # packing
self._on_playlist_pos_changed() # set orientation self._on_playlist_pos_changed() # set orientation
@ -3317,6 +3316,7 @@ class MainWindow(Gtk.ApplicationWindow):
Gtk.main_iteration_do(True) Gtk.main_iteration_do(True)
if not self._settings.get_boolean("mini-player"): if not self._settings.get_boolean("mini-player"):
self._bind_paned_settings() # restore paned settings when window is visible (fixes a bug when window is maximized) self._bind_paned_settings() # restore paned settings when window is visible (fixes a bug when window is maximized)
self._settings.bind("maximize", self, "is-maximized", Gio.SettingsBindFlags.SET) # same problem as one line above
self._client.start() self._client.start()
def _clear_title(self): def _clear_title(self):