Use the new `orientation` property instead of `vertical`, as the latter is deprecated. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/380>
Use the new `orientation` property instead of `vertical`, as the latter is deprecated. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/380>