gnome-shell

mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-18 07:34:54 +00:00

History

Jonas Dreßler e4344df1de portalHelper: Use default_size instead of set_size_request for size GtkWidget.set_size_request() enforces a minimum size, while GtkWidget.set_default_size() simply sets the default size. The docs of set_size_request() say "In most cases, gtk_window_set_default_size() is a better choice for toplevel windows", and in our case it doesn't seem necessary to prohibit the window from having a smaller size, so switch to using the default_width and default_height properties. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3307> (cherry picked from commit `5aa89fa9e6`)	2024-06-28 11:35:16 +00:00
..
main.js	portalHelper: Use default_size instead of set_size_request for size	2024-06-28 11:35:16 +00:00

Jonas Dreßler e4344df1de portalHelper: Use default_size instead of set_size_request for size

GtkWidget.set_size_request() enforces a minimum size, while
GtkWidget.set_default_size() simply sets the default size.

The docs of set_size_request() say "In most cases,
gtk_window_set_default_size() is a better choice for toplevel windows", and
in our case it doesn't seem necessary to prohibit the window from having a
smaller size, so switch to using the default_width and default_height
properties.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3307>
(cherry picked from commit 5aa89fa9e6)

2024-06-28 11:35:16 +00:00

main.js portalHelper: Use default_size instead of set_size_request for size 2024-06-28 11:35:16 +00:00