gnome-shell/js
Jonas Dreßler 4331745ac7
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 15:13:06 +02:00
..
dbusServices screencast: Correct expected bus name for streams 2024-05-07 20:22:42 +02:00
extensions extensions: Fix ngettext convenience 2023-09-15 21:41:30 +00:00
gdm authPrompt: Consume cancel key event 2024-05-22 16:38:35 +02:00
misc js: Use Shell.util_spawn_async functions to launch external processes 2024-05-26 12:53:45 +02:00
portalHelper portalHelper: Use default_size instead of set_size_request for size 2024-06-28 15:13:06 +02:00
ui messageTray: Ensure _updateDatetimeId idle callback is cancelled 2024-06-28 15:13:06 +02:00
js-resources.gresource.xml js: Add utility to improve error message formatting 2024-01-06 22:44:07 +01:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js/portal-resources: Add missing fileUtils to js path 2022-11-03 18:02:27 +00:00