
There are two instances where we set the deprecated `vertical` property with a `{vertical}` shorthand that escaped previous greps; move those to the new `orientation` property too. Fixes: b75b4abaf0 ("js: Set BoxLayout orientation") Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3618>