-
Sébastien Blin authored
Following the doc: https://developer.gnome.org/gtk3/stable/GtkWindow.html#gtk-window-get-size If you use this function to reestablish a previously saved window size, note that the appropriate size to save is the one returned by gtk_window_get_size(). Change-Id: I8523a7181c0e2dd880099dd087c8e4a22bb8d54e Gitlab: #814
84c17e88