The extension uses a straight-forward override that doesn't benefit a lot from the new InjectionManager class, but let's use the provided convenience API anyway. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/268>
The extension uses a straight-forward override that doesn't benefit a lot from the new InjectionManager class, but let's use the provided convenience API anyway. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/268>