94a674c008
instead of explicit screen arguments and `gdk_screen_get_number()`, as nowadays there is always only one screen. This silences some deprecation warnings and removes deprecated API. Bonus: some code style cleanups https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/422